Transforming Conditional Rewrite Systems with Extra Variables into Unconditional Systems.

Enno Ohlebusch

Browse the full LPAR paper archive.