Combining equational tree automata over ac and aci theories (2008)

by J Hendrix, H Ohsaki
Venue:in RTA ’08: Proceedings of the 19th International Conference on Rewriting Techniques and Applications