Two Results on Ordering for Resolution with Merging and Linear Format

The early years of logic programming

Communications of the ACM

SLD: a folk acronym?

ACM SIGPLAN Notices

Proving refutational completeness of theorem-proving strategies: the transfinite semantic tree method

Journal of the ACM (JACM)

A Unifying View of Some Linear Herbrand Procedures

Journal of the ACM (JACM)

The Semantics of Predicate Logic as a Programming Language

Journal of the ACM (JACM)

Logic and Databases: A Deductive Approach

ACM Computing Surveys (CSUR)

Experiment with an automatic theorem-prover having partial ordering inference rules

Communications of the ACM

In memoriam: Raymond Reiter

AI Magazine

In Memoriam: RAYMOND REITER June 12, 1939 – September 16, 2002

Theory and Practice of Logic Programming

A Hole in Goal Trees: Some Guidance from Resolution Theory

IEEE Transactions on Computers

A Search Technique for Clause Interconnectivity Graphs

IEEE Transactions on Computers

A hole in goal trees: some guidance from resolution theory

IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence

Consequence-finding based on ordered linear resolution

IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1

Experimental tests of resolution-based theorem-proving strategies

Information Sciences: an International Journal

Agent-oriented programming: from prolog to guarded definite clauses

Agent-oriented programming: from prolog to guarded definite clauses