Transition Graphs of Rewriting Systems over Unranked Trees. - Christof Löding; Alex Spelten (MFCS, 2007)

Trees over Infinite Structures and Path Logics with Synchronization - Alex Spelten; Wolfgang Thomas; Sarah Winter (INFINITY, 2011)

Paths in infinite trees: logics and automata. - Alexandra Spelten (2013)