Vol-191⫷ Vol-192 ⫸Vol-193
urn:nbn:de:0074-192-0


Vol-192/paper-1⫸Vol-192/paper-2

Maintaining the ACL2 Theorem Proving System