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


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

Efficiently Checking Propositional Resolution Proofs in Isabelle/HOL