Termination of Constraint Contextual Rewriting

Maple's evaluation process as constraint contextual rewriting

Proceedings of the 2001 international symposium on Symbolic and algebraic computation

The control layer in open mechanized reasoning systems: annotations and tactics

Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction

A General Setting for Flexibly Combining and Augmenting Decision Procedures

Journal of Automated Reasoning

Incorporating decision procedures in implicit induction

Journal of Symbolic Computation - Integrated reasoning and algebra systems

Unions of non-disjoint theories and combinations of satisfiability procedures

Theoretical Computer Science

Combining Generic and Domain Specific Reasoning by Using Contexts

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

System Description: RDL : Rewrite and Decision Procedure Laboratory

IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning

Strategic Issues, Problems and Challenges in Inductive Theorem Proving

Electronic Notes in Theoretical Computer Science (ENTCS)