The TPS theorem proving system (1988)

by Peter B. Andrews , Sunil Issar , Dan Nesmith , Frank Pfenning
Venue:9th International Conference on Automated Deduction, Argonne, Illinois
Citations:27 - 5 self