A proof procedure with matrix reduction (1970)

by D Prawitz
Venue:Lecture Notes in Mathematics 125 (Symposium on Automatic Demonstration