On the Equivalence of Hierarchical and Non-Hierarchical Rewriting on Conditional Term Rewriting Systems.

Marisa NavarroFernando Orejas
Published in: EUROSAM (1984)