| 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 |
| 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 |
