@article{Loding:2006:RPR:1132349.1132351,
    Address = {Secaucus, NJ, USA},
    Author = {L{\"o}ding, Christof},
    File = {Reachability Problems on Regular Ground Tree Rewriting Graphs - Loding (0) (0) - a - a - r.pdf},
    ISSN = {1432-4350},
    Journal = {Theor. Comp. Sys.},
    Keywords = {term rewriting systems and preservation of regularity and readme},
    Month = {April},
    Number = {2},
    Pages = {347--383},
    Publisher = {Springer-Verlag New York, Inc.},
    Title = {Reachability Problems on Regular Ground Tree Rewriting Graphs},
    URL = {http://dx.doi.org/10.1007/s00224-004-1170-6},
    Volume = {39},
    Year = {2006},
    acmid = {1132351},
    bdsk-url-1 = {http://dx.doi.org/10.1007/s00224-004-1170-6},
    date-added = {2012-09-28 15:02:02 +0000},
    date-modified = {2014-01-30 14:16:55 +0000},
    file-2 = {Reachability Problems on Regular Ground Tree Rewriting Graphs - Loding (1) (0) - a - a - r.pdf},
    issue_date = {April 2006},
    numpages = {37},
    doi = {10.1007/s00224-004-1170-6}
}

@article{Loding:2006:RPR:1132349.1132351, Address = {Secaucus, NJ, USA}, Author = {L{\"o}ding, Christof}, File = {Reachability Problems on Regular Ground Tree Rewriting Graphs - Loding (0) (0) - a - a - r.pdf}, ISSN = {1432-4350}, Journal = {Theor. Comp. Sys.}, Keywords = {term rewriting systems and preservation of regularity and readme}, Month = {April}, Number = {2}, Pages = {347--383}, Publisher = {Springer-Verlag New York, Inc.}, Title = {Reachability Problems on Regular Ground Tree Rewriting Graphs}, URL = {http://dx.doi.org/10.1007/s00224-004-1170-6}, Volume = {39}, Year = {2006}, acmid = {1132351}, bdsk-url-1 = {http://dx.doi.org/10.1007/s00224-004-1170-6}, date-added = {2012-09-28 15:02:02 +0000}, date-modified = {2014-01-30 14:16:55 +0000}, file-2 = {Reachability Problems on Regular Ground Tree Rewriting Graphs - Loding (1) (0) - a - a - r.pdf}, issue_date = {April 2006}, numpages = {37}, doi = {10.1007/s00224-004-1170-6} }