60. Birthday: Alan Robinson, 1991

Jean-Louis Lassez, Gordon D. Plotkin (Eds.): Computational Logic - Essays in Honor of Alan Robinson. The MIT Press, 1991, ISBN 0-262-12156-5

Inference

Larry Wos, Ross A. Overbeek, Ewing L. Lusk: Subsumption, a Sometimes Undervalued Procedure. 3-40 BibTeX
Hans Jürgen Ohlbach, Jörg H. Siekmann: The Markgraf Karl Refutation Procedure. 41-112 BibTeX
Melvin Fitting: Modal Logic Should Say More Than It Does. 113-135 BibTeX
W. W. Bledsoe: Interactive Proof Presentation. 136-165 BibTeX
Maurice Bruynooghe: Intelligent Backtracking Revisted. 166-177 BibTeX
Alan Bundy: A Science of Reasoning. 178-198 BibTeX
Ehud Y. Shapiro: Inductive Inference of Theories from Facts. 199-254 BibTeX

Jean-Pierre Jouannaud, Claude Kirchner: Solving Equations in Abstract Algebras: A Rule-Based Survey of Unification. 257-321 BibTeX
Hubert Comon: Disunification: A Survey. 322-359 BibTeX
Deepak Kapur, Hantao Zhang: A Case Study of the Completion Procedure: Proving Ring Commutativity Problems. 360-394 BibTeX
Gérard P. Huet, Jean-Jacques Lévy: Computations in Orthogonal Rewriting Systems, I. 395-414 BibTeX
Gérard P. Huet, Jean-Jacques Lévy: Computations in Orthogonal Rewriting Systems, II. 415-443 BibTeX
Paris C. Kanellakis, Harry G. Mairson, John C. Mitchell: Unification and ML-Type Reconstruction. 444-478 BibTeX
Mitchell Wand, Patrick O'Keefe: Automatic Dimensional Inference. 479-483 BibTeX

Keith L. Clark: Logic-Programming Schemes and Their Implementation. 487-541 BibTeX
Donald W. Loveland, David W. Reed: A Near-Horn Prolog for Compilation. 542-564 BibTeX
P. A. Gardner, John C. Shepherdson: Unfold/Fold Transformations of Logic Programs. 565-583 BibTeX
Andrea Corradini, Ugo Montanari: An Algebraic Representation of Logic-Program Computations. 584-612 BibTeX
Jack Minker, Arcot Rajasekar, Jorge Lobo: Theory of Disjunctive Logic Programs. 613-639 BibTeX
Jeffrey F. Naughton, Raghu Ramakrishnan: Bottom-Up Evaluation of Logic Programs. 640-700 BibTeX
E. W. Elcock: Absys, the First Logic-Programming Language: A View of the Inevitability of Logic Programming. 701-721 BibTeX