Addition of Free Variables to an Interactive Enchancement of the Boyer-Moore Theorem Prover (1990)

by M Kaufmann
Venue:Computational Logic, Inc., 1717 West Sixth Street, Suite 290 Austin, TX 78703