Smallest horn clause programs

Computation: Finite and Infinite Machines.

D. A. Clarke, Marvin Minsky · American Mathematical Monthly · 1968 · 2.6K citations

Computing, Computer Science, Automation +6

Prolog programming for artificial intelligence

Computer-Aided Design · 1986 · 1.1K citations

Computing, Computer Science, Artificial Intelligence +8

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

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

Computing, Computer Science, Algorithms +10

A variant of a recursively unsolvable problem

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

Computing, Computer Science, Algorithms +9

The 3 <i>x</i> + 1 Problem and its Generalizations

Jeffrey C. Lagarias · American Mathematical Monthly · 1985 · 428 citations

Natural Sciences, Mathematics, Applied Mathematics +1