@article{Kahrs:2013,
    Author = {Kahrs, Stefan},
    File = {Infinitary rewriting closure operators, equivalences and models - Kahrs (0) (0) - a - a - t.pdf},
    ISSN = {0001-5903},
    Journal = {Acta Informatica},
    Keywords = {transfinite rewriting},
    Language = {English},
    Number = {2},
    Pages = {123-156},
    Publisher = {Springer-Verlag},
    Title = {Infinitary rewriting: closure operators, equivalences and models},
    URL = {http://dx.doi.org/10.1007/s00236-012-0174-y},
    Volume = {50},
    Year = {2013},
    bdsk-url-1 = {http://dx.doi.org/10.1007/s00236-012-0174-y},
    date-added = {2014-01-24 14:11:54 +0000},
    date-modified = {2014-01-24 14:12:19 +0000},
    doi = {10.1007/s00236-012-0174-y}
}

@article{Kahrs:2013, Author = {Kahrs, Stefan}, File = {Infinitary rewriting closure operators, equivalences and models - Kahrs (0) (0) - a - a - t.pdf}, ISSN = {0001-5903}, Journal = {Acta Informatica}, Keywords = {transfinite rewriting}, Language = {English}, Number = {2}, Pages = {123-156}, Publisher = {Springer-Verlag}, Title = {Infinitary rewriting: closure operators, equivalences and models}, URL = {http://dx.doi.org/10.1007/s00236-012-0174-y}, Volume = {50}, Year = {2013}, bdsk-url-1 = {http://dx.doi.org/10.1007/s00236-012-0174-y}, date-added = {2014-01-24 14:11:54 +0000}, date-modified = {2014-01-24 14:12:19 +0000}, doi = {10.1007/s00236-012-0174-y} }