A simplified proof method for elementary logic (1983)

by S Kanger
Venue:Automation of Reasoning. Classical Papers on Computational Logic