Admissible graph rewriting and narrowing (1998)

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