TITLE     : Tel: a proof-theoretic language for efficient symbolic expression manipulation
AUTHOR(S) : Cella A, Lucchesi M, Pasquinelli G
TYPE      : Other
YEAR      : 1977
CODE      : 422357

*** DO NOT EDIT THIS FILE ***