A proof method for quantification theory (1960)

by P C Gilmore
Venue:IBM Journal of Research and Development