@article{Endrullis:2012:HIR:2397725.2397948,
    Address = {Essex, UK},
    Author = {Endrullis, J\"{o}rg and Hendriks, Dimitri and Klop, Jan Willem},
    File = {Highlights in Infinitary Rewriting and Lambda Calculus - Endrullis, Hendriks, Klop (0) (0) - a - a - q.pdf},
    ISSN = {0304-3975},
    Journal = {Theor. Comput. Sci.},
    Keywords = {transfinite rewriting},
    Month = {December},
    Pages = {48--71},
    Publisher = {Elsevier Science Publishers Ltd.},
    Title = {Highlights in Infinitary Rewriting and Lambda Calculus},
    URL = {http://dx.doi.org/10.1016/j.tcs.2012.08.018},
    Volume = {464},
    Year = {2012},
    acmid = {2397948},
    bdsk-url-1 = {http://dx.doi.org/10.1016/j.tcs.2012.08.018},
    date-added = {2014-01-23 22:08:42 +0000},
    date-modified = {2015-09-24 17:02:24 +0000},
    file-2 = {Highlights in Infinitary Rewriting and Lambda Calculus - Endrullis, Hendriks, Klop (1) (0) - a - a - q.pdf},
    issue_date = {December, 2012},
    numpages = {24},
    doi = {10.1016/j.tcs.2012.08.018}
}

@article{Endrullis:2012:HIR:2397725.2397948, Address = {Essex, UK}, Author = {Endrullis, J\"{o}rg and Hendriks, Dimitri and Klop, Jan Willem}, File = {Highlights in Infinitary Rewriting and Lambda Calculus - Endrullis, Hendriks, Klop (0) (0) - a - a - q.pdf}, ISSN = {0304-3975}, Journal = {Theor. Comput. Sci.}, Keywords = {transfinite rewriting}, Month = {December}, Pages = {48--71}, Publisher = {Elsevier Science Publishers Ltd.}, Title = {Highlights in Infinitary Rewriting and Lambda Calculus}, URL = {http://dx.doi.org/10.1016/j.tcs.2012.08.018}, Volume = {464}, Year = {2012}, acmid = {2397948}, bdsk-url-1 = {http://dx.doi.org/10.1016/j.tcs.2012.08.018}, date-added = {2014-01-23 22:08:42 +0000}, date-modified = {2015-09-24 17:02:24 +0000}, file-2 = {Highlights in Infinitary Rewriting and Lambda Calculus - Endrullis, Hendriks, Klop (1) (0) - a - a - q.pdf}, issue_date = {December, 2012}, numpages = {24}, doi = {10.1016/j.tcs.2012.08.018} }