Notes on Inference: A Somewhat Skewed Survey

This publication has 7 references indexed in Scilit:

• Refutational theorem proving using term-rewriting systems
  Artificial Intelligence, 1985
• Automated deduction by theory resolution
  Journal of Automated Reasoning, 1985
• Computational Complexity and the Universal Acceptance of Logic
  The Journal of Philosophy, 1984
• Towards a Logical Reconstruction of Relational Database Theory
  Published by Springer Nature ,1984
• Some Remarks on the Semantics of Representation Languages
  Published by Springer Nature ,1984
• Interpreting network formalisms
  Computers & Mathematics with Applications, 1983
• Complexity of solvable cases of the decision problem for the predicate calculus
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1978