TITLE     : A structural (Meta-Logical) semantics for linear objects
AUTHOR(S) : Manco G., Turini F.
TYPE      : Other
YEAR      : 1995
CODE      : 410715

*** DO NOT EDIT THIS FILE ***