Towards efficient "knowledge-based" automated theorem proving for non-standard logics

This publication has 11 references indexed in Scilit:

• What you always wanted to know about clause graph resolution
  Published by Springer Nature ,1986
• Matings in matrices
  Communications of the ACM, 1983
• Australasian annual conference, New South Wales, Australia, 1980
  The Journal of Symbolic Logic, 1982
• Using Sophisticated Models in Resolution Theorem Proving
  Lecture Notes in Computer Science, 1980
• Relevant analytic tableaux
  Studia Logica, 1979
• Non-resolution theorem proving
  Artificial Intelligence, 1977
• Proof Theory
  Published by Springer Nature ,1977
• A Semantically Guided Deductive System for Automatic Theorem Proving
  IEEE Transactions on Computers, 1976
• First-Order Logic
  Published by Springer Nature ,1968
• Some structure results for propositional calculi
  The Journal of Symbolic Logic, 1965