BibTeX Export

@article{Authenticus:P-00P-GFC,
	title = {{Antimirov and Mosses's Rewrite System Revisited}},
	author = {M Almeida and N Moreira and R Reis},
	doi = {10.1142/S0129054109006802},
	journal = {Int. J. Found. Comput. Sci.},
	number = {4},
	pages = {669-684},
	publisher = {World Scientific Pub Co Pte Lt},
	type = {Article},
	volume = {20},
	year = {2009}
}