@inproceedings{Luc01,
    Author = "S.~Lucas",
    Title = "Transfinite Rewriting Semantics for Term Rewriting Systems",
    Booktitle = "Proc. of 12th International Conference on Rewriting 
                 Techniques and Applications, RTA'01",
    Address = "Utrecht, The Netherlands",
    Editor = "A. Middeldorp",
    Series = "Lecture Notes in Computer Science",
    Publisher = "Springer-Verlag, Berlin",
    Year = 2001,
    Month = "May",
    Volume = 2051,
    Pages = {216-230},
}