Martin D. Davis
Martin Davis and Hilary Putnam.
A computing procedure for quantification theory.
Journal of the ACM
, 7(3):201-215, July 1960.
Citations.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database