Hierarchical Contextual Rewriting with Several Levels |
Confluence of Conditional Rewrite Systems |
Solving Goals in Equational Languages |
On the Use of Conditional Rewrite Rules in Inductive Theorem Proving |
A Completion Procedure for Conditional Equations |
A Compiler for a Class of Conditional Term Rewriting Systems |
Notes on the Elimination of Conditions |
Equational Axiomatizations of If-Then-Else |
Compiling Conditional Rewriting Systems |
Positive/Negative Conditional Rewriting |
On Word Problems in Horn Theories |
Conditional Specifications with Inequational Assumptions |
A Logical Analysis on Theory of Conditional Rewriting |
Computing with Conditional Rewrite Rules |
A Logic for Conditional Term Rewriting Systems |
Confluent Term Rewriting Systems with Membership Conditions |
System Presentations: TRSPEC |
CEC |
Asspegique |
Reveur4 |
An Introduction to OBJ 3 |
The Passau RAP System: Rapid Prototyping for Algebraic Specifications |
Architecture for Conditional Term Rewriting |
Hierarchical Contextual Rewriting with Several Levels |
Confluence of Conditional Rewrite Systems |
Solving Goals in Equational Languages |