A Proof Method for Quantification Theory (1960)

by P C Gilmore
Venue:IBM J* Ra. Develop