Rewriting techniques and applications, RTA'91

Hélène Kirchner, Pierre Lescanne. Rewriting techniques and applications, RTA'91. SIGACT News, 22(3):24-30, 1991. [doi]

Abstract

Abstract is missing.