TITLE     : A non complete, yet always terminating theorem prover
AUTHOR(S) : Degano P., Moccaferro C., Sirovich F.
TYPE      : Other
YEAR      : 1979
CODE      : 421903

*** DO NOT EDIT THIS FILE ***