A Prolog Technology Theorem Prover: Implementation by an Extended Prolog Compiler (1987)

Cached

Download Links

by Mark E. Stickel
Venue:Journal of Automated Reasoning
Citations:100 - 2 self