ACL2: An Industrial Strength Version of Nqthm (1996)

by Matt Kaufmann, J. Strother Moore