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


Vol-212/paper-4⫷Vol-212/paper-5⫸Vol-212/paper-6

Implementing an Instantiation-based Theorem Prover for First-order Logic