Subsumption, a sometimes undervalued procedure / Larry Wos, Ross Overbeek, and Ewing Lusk -- The Markgraf Karl refutation procedure / Hans Jürgen Ohlbach and Jörg H. Siekmann -- Modal logic should say more than it does / Melvin Fitting -- Interactive proof presentation / W.W. Bledsoe -- Intelligent backtracking revisited / Maurice Bruynooghe -- A science of reasoning / Alan Bundy -- Inductive inference of theories from facts / Ehud Shapiro -- Solving equations in abstract algebras : a rule-based survey of unification / Jean-Pierre Jouannaud and Claude Kirchner -- Disunification : a survey / Hubert Comon -- A case study of the completion procedure : proving ring commutativity problems / Deepak Kapur and Hantao Zhang
Computations in orthogonal rewriting systems, I ; Computations in orthogonal rewriting systems, II / Gérard Huet and Jean-Jacques Lévy -- Unification and ML-type reconstruction / Paris C. Kanellakis, Harry G. Mairson, and John C. Mitchell -- Automatic dimensional inference / Mitchell Wand and Patrick M. O'Keefe -- Logic-programming schemes and their implementations / Keith L. Clark -- A near-horn prolog for compilation / Donald W. Loveland and David W. Reed -- Unfold/fold transformations of logic programs / P.A. Gardner and J.C. Shepherdson -- An algebraic representation of logic-program computations / Andrea Corradini and Ugo Montanari -- Theory of disjunctive logic programs / Jack Minker, Arcot Rajasekar, and Jorge Lobo
Bottom-up evaluation of logic programs / Jeffrey F. Naughton and Raghu Ramakrishnan -- Absys, the first logic-programming language : a view of the inevitability of logic programming / E.W. Elcock
