@article{Simonsen2004141,
    Author = {Simonsen, Jakob Grue},
    File = {On confluence and residuals in Cauchy convergent transfinite rewriting - Simonsen (0) (0) - a - a - n.pdf},
    ISSN = {0020-0190},
    Journal = {Information Processing Letters},
    Keywords = {transfinite rewriting},
    Number = {3},
    Pages = {141 - 146},
    Title = {On confluence and residuals in Cauchy convergent transfinite rewriting},
    URL = {http://www.sciencedirect.com/science/article/pii/S0020019004001103},
    Volume = {91},
    Year = {2004},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0020019004001103},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.ipl.2004.03.018},
    date-added = {2014-01-24 14:28:08 +0000},
    date-modified = {2014-01-24 14:28:25 +0000},
    file-2 = {On confluence and residuals in Cauchy convergent transfinite rewriting - Simonsen (1) (0) - a - a - n.pdf},
    doi = {10.1016/j.ipl.2004.03.018}
}

@article{Simonsen2004141, Author = {Simonsen, Jakob Grue}, File = {On confluence and residuals in Cauchy convergent transfinite rewriting - Simonsen (0) (0) - a - a - n.pdf}, ISSN = {0020-0190}, Journal = {Information Processing Letters}, Keywords = {transfinite rewriting}, Number = {3}, Pages = {141 - 146}, Title = {On confluence and residuals in Cauchy convergent transfinite rewriting}, URL = {http://www.sciencedirect.com/science/article/pii/S0020019004001103}, Volume = {91}, Year = {2004}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0020019004001103}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.ipl.2004.03.018}, date-added = {2014-01-24 14:28:08 +0000}, date-modified = {2014-01-24 14:28:25 +0000}, file-2 = {On confluence and residuals in Cauchy convergent transfinite rewriting - Simonsen (1) (0) - a - a - n.pdf}, doi = {10.1016/j.ipl.2004.03.018} }