G.: A tutorial on St̊almarck’s proof procedure for propositional logic (0)

by M Sheeran, St̊almarck
Venue:Formal Methods in System Design 16 (2000