The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas (1969)

by R A Di Paola
Venue:J. ACM