Inductive proofs by resolution and paramodulation

This publication has 11 references indexed in Scilit:

• Computing in Horn Clause Theories
  Published by Springer Nature ,1988
• How to clear a block: A theory of plans
  Journal of Automated Reasoning, 1987
• Proof by consistency
  Artificial Intelligence, 1987
• Termination of rewriting
  Journal of Symbolic Computation, 1987
• Using Resolution and Paranodulation for Induction Proofs
  Published by Springer Nature ,1986
• Proofs by induction in equational theories with constructors
  Journal of Computer and System Sciences, 1982
• A Deductive Approach to Program Synthesis
  ACM Transactions on Programming Languages and Systems, 1980
• On Closed World Data Bases
  Published by Springer Nature ,1978
• Proving Properties of Programs by Structural Induction
  The Computer Journal, 1969
• A Machine-Oriented Logic Based on the Resolution Principle
  Journal of the ACM, 1965