The Use of Proof Plans to Sum Series

Planning Proofs of Equations in CCS

Automated Software Engineering

Managing Structural Information by Higher-Order Colored Unification

Journal of Automated Reasoning

Inductive Theorem Proving and Computer Algebra in the MathWeb Software Bus

AISC '02/Calculemus '02 Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation

A divergence critic for inductive proof

Journal of Artificial Intelligence Research

Difference unification

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

A survey of automated deduction

Artificial intelligence today

The Use of Embeddings to Provide a Clean Separation of Term and Annotation for Higher Order Rippling

Journal of Automated Reasoning

Best-First rippling

Reasoning, Action and Interaction in AI Theories and Systems