Proof Search in Classical Propositional Logic with Partial Proof Terms.

Jos Esprito Santo, Ana Catarina Sousa

Browse the full WoLLIC paper archive.