A User's Manual for an Interactive Enhancement to the Boyer-Moore Theorem Prover (1988)

Cached

Download Links

by Matt Kaufmann
Citations:44 - 16 self