Admissible graph rewriting and narrowing (1998)

by R Echahed, J-C Janodet
Venue:In Proceedings of the Joint International Conference and Symposium on Logic Programming