Vol-211⫷ Vol-212 ⫸Vol-213
urn:nbn:de:0074-212-0


Vol-212/paper-2⫷Vol-212/paper-3⫸Vol-212/paper-4

Integrating External Deduction Tools with ACL2