@book{Terese03Term,
	title = {Term Rewriting Systems},
	author = { Terese},
	publisher = {Cambridge University Press},
	series = {Cambridge Tracts in Theoretical Computer Science},
	volume = {55},
	year = {2003},
	biburl = {http://www.bibsonomy.org/bibtex/27ac85ebfe08e4bce53c40feecb1a7350/mh},
	keywords = {imported }
}