The tps theorem proving system (1988)

by Peter Andrews, Sunil Issar, Daniel Nesmith, Frank Pfenning
Venue:9th International Conference on Automated Deduction, volume 310 of Lecture Notes in Computer Science