@inproceedings{LucasRTA02,
    Author = "S.~Lucas",
    Title = "Termination of (Canonical) Context-Sensitive Rewriting",
    Booktitle = "Proc. of 13th International Conference on Rewriting
                 Techniques and Applications, RTA'02",
    Address = "Copenhagen, Denmark",
    Editor = "S. Tison",
    Series = "Lecture Notes in Computer Science",
    Publisher = "Springer-Verlag, Berlin",
    Volume = "2378",
    Year = 2002,
    Month = "July",
    Pages = "296-310"
}