John Field, Frank Tip. Dynamic Dependence in Term rewriting Systems and its Application to Program Slicing. In Manuel V. Hermenegildo, Jaan Penjam, editors, Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP 94, Madrid, Spain, September 14-16, 1994, Proceedings. Volume 844 of Lecture Notes in Computer Science, pages 415-431, Springer, 1994.
Abstract is missing.