A completeness theorem for SLDNF resolution

Foundations of Logic Programming

1984 • 4,311 citations

Negation as Failure

1978 • 2,091 citations

An Introduction to Mathematical Logic

2005 • 1,818 citations

Towards a Theory of Declarative Knowledge

1988 • 1,163 citations

Foundations of Deductive Databases and Logic Programming

1988 • 994 citations

Introduction to Logic Programming

1988 • 271 citations

Negation in Logic Programming

1988 • 208 citations

Signed data dependencies in logic programs

1989 • 183 citations

A basis for deductive database systems II

1986 • 178 citations

Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumption

1984 • 131 citations

Integrity constraint checking in stratified databases

1987 • 119 citations

Completeness of the negation as failure rule

1983 • 91 citations

Introduction to Mathematical Logic

1979 • 68 citations

Completeness of the SLDNF-resolution for a class of logic programs

1986 • 19 citations