A tutorial on Stalmarck's method of propositional proof (0)

by M Sheeran, G Stalmarck
Venue:Formal Methods In System Design