BibTeX Export

@article{Authenticus:P-003-H2V,
	title = {{Antimirov and Mosses's Rewrite System Revisited}},
	author = {M Almeida and N Moreira and R Reis},
	doi = {10.1142/s0129054109006802},
	journal = {International Journal of Foundations of Computer Science},
	number = {4},
	pages = {669-684},
	publisher = {World Scientific Publ Co Pte Ltd},
	type = {Article},
	volume = {20},
	year = {2009}
}