A Tutorial on Stlmarcks's Proof Procedure for Propositional Logic.

Mary Sheeran, Gunnar Stlmarck

Browse the full FMCAD paper archive.