Proving formulas through reduction to decidable classes

This publication has 4 references indexed in Scilit:

• Seventy-five problems for testing automatic theorem provers
  Journal of Automated Reasoning, 1986
• Prolegomena to a theory of mechanized formal reasoning
  Artificial Intelligence, 1980
• Equations and Rewrite Rules: A Survey
  Published by Elsevier ,1980
• Edinburgh LCF
  Lecture Notes in Computer Science, 1979