TITLE     : An approach to the automatic derivation of path domains
AUTHOR(S) : Bertolino A, Giromini M
TYPE      : Conference article
YEAR      : 1993
CODE      : 412815

*** DO NOT EDIT THIS FILE ***