@article{Kennaway:1995:TRO:205538.205543,
    Address = {Duluth, MN, USA},
    Author = {Kennaway, Richard and Klop, Jan Willem and Sleep, Ronan and de Vries, Fer-Jan},
    File = {Transfinite Reductions in Orthogonal Term Rewriting Systems - Kennaway, Klop, Sleep, Vries (1) (0) - a - a - a.pdf},
    ISSN = {0890-5401},
    Journal = {Inf. Comput.},
    Keywords = {transfinite rewriting},
    Month = {May},
    Number = {1},
    Pages = {18--38},
    Publisher = {Academic Press, Inc.},
    Title = {Transfinite Reductions in Orthogonal Term Rewriting Systems},
    URL = {http://dx.doi.org/10.1006/inco.1995.1075},
    Volume = {119},
    Year = {1995},
    acmid = {205543},
    bdsk-url-1 = {http://dx.doi.org/10.1006/inco.1995.1075},
    date-added = {2014-01-24 17:13:57 +0000},
    date-modified = {2014-01-24 17:14:03 +0000},
    file-2 = {Transfinite Reductions in Orthogonal Term Rewriting Systems - Kennaway, Klop, Sleep, Vries (0) (0) - a - a - a.pdf},
    issue_date = {May 15, 1995},
    numpages = {21},
    doi = {10.1006/inco.1995.1075}
}

@article{Kennaway:1995:TRO:205538.205543, Address = {Duluth, MN, USA}, Author = {Kennaway, Richard and Klop, Jan Willem and Sleep, Ronan and de Vries, Fer-Jan}, File = {Transfinite Reductions in Orthogonal Term Rewriting Systems - Kennaway, Klop, Sleep, Vries (1) (0) - a - a - a.pdf}, ISSN = {0890-5401}, Journal = {Inf. Comput.}, Keywords = {transfinite rewriting}, Month = {May}, Number = {1}, Pages = {18--38}, Publisher = {Academic Press, Inc.}, Title = {Transfinite Reductions in Orthogonal Term Rewriting Systems}, URL = {http://dx.doi.org/10.1006/inco.1995.1075}, Volume = {119}, Year = {1995}, acmid = {205543}, bdsk-url-1 = {http://dx.doi.org/10.1006/inco.1995.1075}, date-added = {2014-01-24 17:13:57 +0000}, date-modified = {2014-01-24 17:14:03 +0000}, file-2 = {Transfinite Reductions in Orthogonal Term Rewriting Systems - Kennaway, Klop, Sleep, Vries (0) (0) - a - a - a.pdf}, issue_date = {May 15, 1995}, numpages = {21}, doi = {10.1006/inco.1995.1075} }