Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides (1995)

by Taro Suzuki , Aart Middeldorp , Tetsuo Ida
Venue:In Proceedings of the 6th International Conference on Rewriting Techniques and Applications
Citations:24 - 3 self