TITLE     : The call-by name semantics of a clause language with functions
AUTHOR(S) : Bellia M., Degano P., Levi G.
TYPE      : Other
YEAR      : 1981
CODE      : 421454

*** DO NOT EDIT THIS FILE ***