@article{Dershowitz198769,
    Author = {Dershowitz, Nachum},
    File = {Termination of rewriting - Dershowitz (0) (0) - a - a - r.pdf},
    ISSN = {0747-7171},
    Journal = {Journal of Symbolic Computation},
    Keywords = {rewriting systems},
    Number = {1{\^a}€``2},
    Pages = {69 - 115},
    Title = {Termination of rewriting},
    URL = {http://www.sciencedirect.com/science/article/pii/S0747717187800226},
    Volume = {3},
    Year = {1987},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0747717187800226},
    bdsk-url-2 = {http://dx.doi.org/10.1016/S0747-7171(87)80022-6},
    date-added = {2012-05-14 07:57:44 +0200},
    date-modified = {2012-08-29 08:17:44 +0000},
    doi = {10.1016/S0747-7171(87)80022-6}
}

@article{Dershowitz198769, Author = {Dershowitz, Nachum}, File = {Termination of rewriting - Dershowitz (0) (0) - a - a - r.pdf}, ISSN = {0747-7171}, Journal = {Journal of Symbolic Computation}, Keywords = {rewriting systems}, Number = {1{\^a}€``2}, Pages = {69 - 115}, Title = {Termination of rewriting}, URL = {http://www.sciencedirect.com/science/article/pii/S0747717187800226}, Volume = {3}, Year = {1987}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0747717187800226}, bdsk-url-2 = {http://dx.doi.org/10.1016/S0747-7171(87)80022-6}, date-added = {2012-05-14 07:57:44 +0200}, date-modified = {2012-08-29 08:17:44 +0000}, doi = {10.1016/S0747-7171(87)80022-6} }