A Prolog Technology Theorem Prover: A New Exposition and Implementation in Prolog (1989)

Cached

Download Links

by Mark E. Stickel
Venue:in Prolog. Theoretical Computer Science
Citations:57 - 0 self