Rogério Reis. Antimirov and Mosses’s rewrite system revisited (2009)

by Marco Almeida, Nelma Moreira
Venue:International Journal of Foundations of Computer Science, 20(04):669 – 684