ACL2: An Industrial Strength Version of Nqthm (1996)
by
Matt Kaufmann
,
J. Strother Moore
| Citations: | 57 - 5 self |
Document Versions
| ACL2: An Industrial Strength Version of Nqthm –Matt Kaufmann, J. Strother Moore — 1996 |
