@TechReport{rosu-2004-tr, author = {Grigore Ro\c{s}u}, title = "{From Conditional to Unconditional Rewriting}", institution = {Computer Science Department, University of Illinois at Urbana-Champaign}, Number = {UIUCDCS-R-2004-2471}, Year = {2004} }