A proof procedure with matrix reduction (1970)

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