A tutorial on Stålmarck’s proof procedure for propositional logic (1999)

by M Sheeran, G Stålmarck
Venue:Formal Methods in Systems Design