Conditional Equational Specifications of Data Types with Partial Operations for Inductive Theorem Proving

Simplifying termination proofs for rewrite systems by preprocessing

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming

Induction Proofs with Partial Functions

Journal of Automated Reasoning

Full First-Order Free Variable Sequents and Tableaux in Implicit Induction

TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods

Shallow confluence of conditional term rewriting systems

Journal of Symbolic Computation

Strategic Issues, Problems and Challenges in Inductive Theorem Proving

Electronic Notes in Theoretical Computer Science (ENTCS)

On the confluence of lambda-calculus with conditional rewriting

Theoretical Computer Science