Alexander Koller and
Stefan Thater. Computing relative normal forms in regular tree languages. In Proceedings of the 21st Conference on Rewriting Techniques and Applications (RTA), Edinburgh, 2010. Note: AK, MP.
@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} }
|