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

by Paul C Gilmore
Venue:IBM Journal of research and development