A proof method for quantification theory: its justification and realization (1960)

by P C Gilmore
Venue:IBM J. Res. Dev