Book Chapter
REVEUR4: A laboratory for conditional rewriting
Wadoud Bousdira and Jean-Luc Rémy
Lecture Notes in Computer Science, 1988, Volume 308, Conditional Term Rewriting Systems, Pages 253-257
Book Chapter
A completion procedure for hierarchical conditional rewriting systems
Wadoud Bousdira
Lecture Notes in Computer Science, 1988, Volume 343, Algebraic and Logic Programming, Pages 93-107
Book Chapter
Hierarchical contextual rewriting with several levels
Wadoud Bousdira and Jean-Luc Rémy
Lecture Notes in Computer Science, 1988, Volume 308, Conditional Term Rewriting Systems, Pages 15-30
Book Chapter
First-order theorem proving using conditional rewrite rules
Hantao Zhang and Deepak Kapur
Lecture Notes in Computer Science, 1988, Volume 310, 9th International Conference on Automated Deduction, Pages 1-20
Book Chapter
Implementing contextual rewriting
Hantao Zhang
Lecture Notes in Computer Science, 1993, Volume 656, Conditional Term Rewriting Systems, Pages 363-377
Book Chapter
Infinite normal forms
Preliminary version
Nachum Dershowitz, Stéphane Kaplan and David A. Plaisted
Lecture Notes in Computer Science, 1989, Volume 372, Automata, Languages and Programming, Pages 249-262
Book Chapter
REVE a rewrite rule laboratory
Pierre Lescanne
Lecture Notes in Computer Science, 1986, Volume 230, 8th International Conference on Automated Deduction, Pages 695-696
Book Chapter
REVE a rewrite rule laboratory
Pierre Leschanne
Lecture Notes in Computer Science, 1987, Volume 247, STACS 87, Pages 482-483
Book Chapter
Hierarchical contextual rewriting with several levels
Wadoud Bousdira and Jean-Luc Rémy
Lecture Notes in Computer Science, 1988, Volume 294, STACS 88, Pages 193-206
Book Chapter
Contextual rewriting
Hantao Zhang and Jean-Luc Remy
Lecture Notes in Computer Science, 1985, Volume 202, Rewriting Techniques and Applications, Pages 46-62