A tutorial on Stålmarck's proof procedure for propositional logic (1998)

by Mary Sheeran, Gunnar Stålmarck
Venue:Formal Methods in System Design