Marco Almeida, Nelma Moreira, Rogério Reis
Antimirov and Mosses’s Rewrite System Revisited
CIAA, 2009.
@article{CIAA-J-2008-AlmeidaMR09, author = "Marco Almeida and Nelma Moreira and Rogério Reis", doi = "10.1142/S0129054109006802", journal = "{International Journal of Foundations of Computer Science}", number = 4, pages = "669--684", publisher = "{World Scientific}", title = "{Antimirov and Mosses’s Rewrite System Revisited}", volume = 20, year = 2009, }