TITLE     : Formalizing the semantics of variants
AUTHOR(S) : Inverardi P, Mainetto G, Wolf Al
TYPE      : Other
YEAR      : 1994
CODE      : 409645

*** DO NOT EDIT THIS FILE ***