A tutorial on stalmarck’s proof procedure for propositional logic (2000)

by M Sheeran, G Staalmarck
Venue:Formal Methods in System Design