@InProceedings{KoTh2010,
AUTHOR = {Koller, Alexander and Thater, Stefan},
TITLE = {Computing relative normal forms in regular tree languages},
YEAR = {2010},
BOOKTITLE = {Proceedings of the 21st Conference on Rewriting Techniques and Applications (RTA), Edinburgh},
NOTE = {AK, MP} }
