Linear-time algorithms for testing the satisfiability of propositional horn formulae

The complexity of theorem-proving procedures

Stephen Cook · 1971 · 6.2K citations · Full text

Computing, Computer Science, Mathematics +17

Introduction to formal language theory

Computer Languages · 1980 · 1.3K citations

Computing, Computer Science, Formal Methods +11

Elements of the theory of computation

Charles J. Colbourn · Computers & Mathematics with Applications · 1982 · 318 citations

Computing, Computer Science, Algorithms +13

Complete problems for deterministic polynomial time

Neil D. Jones, William T. Laaser · Theoretical Computer Science · 1976 · 279 citations

Computing, Computer Science, Mathematics +11

Unit Refutations and Horn Sets

Lawrence J. Henschen, L. Wos · Journal of the ACM · 1974 · 148 citations · Full text

Computing, Computer Science, Mathematics +11