Efficiently checking propositional resolution proofs in Isabelle/HOL (2006)

by Tjark Weber
Venue:Proceedings of the 6th International Workshop on the Implementation of Logics, volume 212 of CEUR Workshop Proceedings