@article{Kahrs:2007:IRM:1266801.1266803,
    Address = {Secaucus, NJ, USA},
    Author = {Kahrs, Stefan},
    File = {Infinitary Rewriting Meta-theory and Convergence - Kahrs (0) (0) - a - a - d.pdf},
    ISSN = {0001-5903},
    Journal = {Acta Inf.},
    Month = {April},
    Number = {2},
    Pages = {91--121},
    Publisher = {Springer-Verlag New York, Inc.},
    Title = {Infinitary Rewriting: Meta-theory and Convergence},
    URL = {http://dx.doi.org/10.1007/s00236-007-0043-2},
    Volume = {44},
    Year = {2007},
    acmid = {1266803},
    bdsk-url-1 = {http://dx.doi.org/10.1007/s00236-007-0043-2},
    date-added = {2014-01-29 13:02:11 +0000},
    date-modified = {2014-01-29 13:02:11 +0000},
    issue_date = {April 2007},
    numpages = {31},
    doi = {10.1007/s00236-007-0043-2}
}

@article{Kahrs:2007:IRM:1266801.1266803, Address = {Secaucus, NJ, USA}, Author = {Kahrs, Stefan}, File = {Infinitary Rewriting Meta-theory and Convergence - Kahrs (0) (0) - a - a - d.pdf}, ISSN = {0001-5903}, Journal = {Acta Inf.}, Month = {April}, Number = {2}, Pages = {91--121}, Publisher = {Springer-Verlag New York, Inc.}, Title = {Infinitary Rewriting: Meta-theory and Convergence}, URL = {http://dx.doi.org/10.1007/s00236-007-0043-2}, Volume = {44}, Year = {2007}, acmid = {1266803}, bdsk-url-1 = {http://dx.doi.org/10.1007/s00236-007-0043-2}, date-added = {2014-01-29 13:02:11 +0000}, date-modified = {2014-01-29 13:02:11 +0000}, issue_date = {April 2007}, numpages = {31}, doi = {10.1007/s00236-007-0043-2} }