a higher order theorem prover (1998)

by LEO
Venue:Proceedings of the 15th Conference on Automated Deduction, number 1421 in LNAI