Christof Löding: Reachability Problems on Regular Ground Tree Rewriting Graphs. Theory Comput. Syst. 39(2): 347-383 (2006)