Satisfiability of the smallest binary program

Flow diagrams, turing machines and languages with only two formation rules

Corrado Böhm, G. Jacopini · Communications of the ACM · 1966 · 782 citations · Full text

A variant of a recursively unsolvable problem

Emil L. Post · Bulletin of the American Mathematical Society · 1946 · 608 citations · Full text

Mathematical Programming, Computational Complexity Theory, Engineering +6

Efficient tests for top-down termination of logical rules

Jeffrey D. Ullman, Allen Van Gelder · Journal of the ACM · 1988 · 119 citations · Full text

Applied Logic, Engineering, Verification +19

Controlling recursive inference

David E. Smith, Michael Genesereth, Matthew L. Ginsberg · Artificial Intelligence · 1986 · 53 citations

Recursive Inference, Engineering, Inductive Inference +6

Implication of clauses is undecidable

Manfred Schmidt-Schauß · Theoretical Computer Science · 1988 · 51 citations

Automated Reasoning, Incompleteness, Relevance Logic