Karl Gmeiner, Bernhard Gramlich. Transformations of Conditional Rewrite Systems Revisited. In Andrea Corradini, Ugo Montanari, editors, Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers. Volume 5486 of Lecture Notes in Computer Science, pages 166-186, Springer, 2008. [doi]
Abstract is missing.