ACL2: An industrial strength version of Nqthm (1996)

by M Kaufmann, J Strother Moore
Venue:In Computer Assurance