Implementing Contextual Rewriting

Mechanical Verification of Adder Circuits using Rewrite RuleLaboratory

Formal Methods in System Design

Observational proofs by rewriting

Theoretical Computer Science

Automatic Synthesis of Recursive Programs: The Proof-Planning Paradigm

Automated Software Engineering

The design and implementation of VAMPIRE

AI Communications - CASC

Automated Induction with Constrained Tree Automata

IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning

Automatic case analysis in proof by induction

IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1

Subterm contextual rewriting

AI Communications - Practical Aspects of Automated Reasoning

Simple and Minimal Ground Term Equation Systems

Fundamenta Informaticae