Other 

• Research directions, items of interest, miscellany
  • Automation of Reasoning: Classical Papers on Computational Logic (2 vols, 1 -- 1957-66, 2 -- 1967-70), Ed. Siekmann and Wrightson. Springer-Verlag, 1983.
    • “An Algorithm for a Machine Search of a Natural Logical Deduction in a Propositional Calculus”. In: The Automation of Reasoning, Ed. J. Sieckmann, G. Wrightson, Springer Verlag, 1983, Russian original:1965. (with N.Shanin, G. Davydov, S. Maslov, V. Orevkov, A. Slisenko)
    • Vol.1: Maslov, Mints, and Orevkov. "Mechanical Proof Search and the Theory of Logical Deduction in the USSR".
    • Vol 2: Davydov, Maslow, Mints, Orevkov and Slisenko: “A Computer Algorithm for the Determination of Deducibility on the Basis of the Inverse Method”.
    • Vol 2: Maslov: “An Inverse Method for Establishing Deducibility of Nonprenex Formulas of the Predicate Calculus”.
      
    • Vol 2: Maslov. “Relationship between Tactics of the Inverse Method and the Resolution Method.”
      
  • Issues in commonsense set theory
  • Robinson, J.A.
    “A Machine Oriented Logic Based on the Resolution Principle.”
    J. ACM 12, pp. 23-41, January 1965.
    
  • Ronald J. Brachman, Hector J. Levesque, and Raymond Reiter, eds., Knowledge Representation, Special Issues of Artificial Intelligence: An International Journal, Cambridge, MA: MIT Press, 1992, 408 pp., $29.00 (paper), ISBN 0-262-52168-7.
  • Clark Glymour, Thinking Things Through: An Introduction to Philosophical Issues and Achievements, Cambridge, MA: MIT Press, 1992, xi + 382 pp., $35.00 (cloth), ISBN 0-262-07141-X.
  • J. E. Hayes, D. Michie, and E. Tyugu, eds., Machine Intelligence 12: Towards an Automated Logic of Human Thought, Oxford: Oxford University Press, 1991, x + 342 pp. $120.00 (cloth), ISBN 0-19-853823-5.
  • Steven H. Kim, Knowledge Systems Through PROLOG: An Introduction, New York: Oxford University Press, 1991, xvi + 341 pp., $29.95 (paper), ISBN 0-19-507241-3.
  • André Thayse, ed., From Modal Logic to Deductive Data Bases: Introducing A Logic Based Approach to Artificial Intelligence, Chichester, U.K.: John Wiley & Sons, 1989, xxiv + 380 pp., £25.00 (paper), ISBN 0-471-92345-1.
  • André Thayse, ed., From Natural Language Processing to Logic for Expert Systems: A Logic Based Approach to Artificial Intelligence, Chichester, U.K.: John Wiley & Sons, 1991, xx + 535 pp., £29.95 (paper), ISBN 0-471-92431-8.
  • The Logical Foundations of Computer Science and Mathematics
  • Topology in Computer Science Problems
  • Specific Logical Frameworks and Implementations
  • Compositional Relational Programming
  • Natural Language Design Converse
  • Bibliography of Instance-Based Theorem Proving