Christof Löding, Alex Spelten. Transition Graphs of Rewriting Systems over Unranked Trees. In Ludek Kucera, Antonín Kucera, editors, Mathematical Foundations of Computer Science 2007, 32nd International Symposium, MFCS 2007, Ceský Krumlov, Czech Republic, August 26-31, 2007, Proceedings. Volume 4708 of Lecture Notes in Computer Science, pages 67-77, Springer, 2007. [doi]
Abstract is missing.