@inproceedings{WLC-2000-Steinby,
	author        = "Magnus Steinby",
	booktitle     = "{Proceedings of the Third International Colloquium on Words, Languages & Combinatorics}",
	isbn          = "978-9810249489",
	pages         = "434--449",
	publisher     = "{World Scientific}",
	title         = "{Tree Automata in the Theory of Term Rewriting}",
	year          = 2000,
}