Presenting intuitive deductions via symmetric simplification

This publication has 15 references indexed in Scilit:

• The TPS theorem proving system
  Published by Springer Nature ,2005
• On connections and higher-order logic
  Journal of Automated Reasoning, 1989
• Explanation-based learning: a survey of programs and perspectives
  ACM Computing Surveys, 1989
• A compact representation of proofs
  Studia Logica, 1987
• Proofs as programs
  ACM Transactions on Programming Languages and Systems, 1985
• Inductive Inference: Theory and Methods
  ACM Computing Surveys, 1983
• Transforming matings into natural deduction proofs
  Published by Springer Nature ,1980
• Bounds for proof-search and speed-up in the predicate calculus
  Annals of Mathematical Logic, 1978
• The translation of formal proofs into English
  Artificial Intelligence, 1976
• Untersuchungen ber das logische Schlie en. I
  Mathematische Zeitschrift, 1935