Admissible graph rewriting and narrowing (1998)

by R Echahed, J C Janodet
Venue:In Proc. of Joint International Conference and Symposium on Logic Programming (JICSLP’98