@inproceedings{rosu-2004-wadt, author = {Grigore Ro\c{s}u}, title = {From Conditional to Unconditional Rewriting.}, booktitle = {Recent Trends in Algebraic Development Techniques (WADT'04)}, year = {2004}, pages = {218-233}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {3423}, year = {2004} }