A Prolog technology theorem prover: Implementation by an extended Prolog compiler (1986)

by M E Stickel
Venue:In Proceedings of the 8th International Conference on Automated Deduction