@incollection{salvador:01,
    Author = {Lucas, Salvador},
    BookTitle = {Rewriting Techniques and Applications},
    Editor = {Middeldorp, Aart},
    File = {Transfinite Rewriting Semantics for Term Rewriting Systems - Lucas (0) (0) - a - a - y.pdf},
    ISBN = {978-3-540-42117-7},
    Language = {English},
    Pages = {216-230},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Transfinite Rewriting Semantics for Term Rewriting Systems},
    URL = {http://dx.doi.org/10.1007/3-540-45127-7\_17},
    Volume = {2051},
    Year = {2001},
    bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-45127-7\_17},
    date-added = {2013-12-25 10:40:12 +0000},
    date-modified = {2013-12-25 10:40:12 +0000},
    doi = {10.1007/3-540-45127-7_17}
}

@incollection{salvador:01, Author = {Lucas, Salvador}, BookTitle = {Rewriting Techniques and Applications}, Editor = {Middeldorp, Aart}, File = {Transfinite Rewriting Semantics for Term Rewriting Systems - Lucas (0) (0) - a - a - y.pdf}, ISBN = {978-3-540-42117-7}, Language = {English}, Pages = {216-230}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Transfinite Rewriting Semantics for Term Rewriting Systems}, URL = {http://dx.doi.org/10.1007/3-540-45127-7_17}, Volume = {2051}, Year = {2001}, bdsk-url-1 = {http://dx.doi.org/10.1007/3-540-45127-7_17}, date-added = {2013-12-25 10:40:12 +0000}, date-modified = {2013-12-25 10:40:12 +0000}, doi = {10.1007/3-540-45127-7_17} }