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