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

by M Kaufmann