Conditional term graph rewriting (1997)

by E Ohlebusch
Venue:In Proceedings of the 6th International Conference on Algebraic and Logic Programming