@inproceedings{LucasFOSSACS04,
    Author = "S.~Lucas",
    Title = "Polynomials for Proving Termination of Context-Sensitive Rewriting",
    Booktitle = "7th International Conference on Foundations of 
       Software Science and Computation Structures, FOSSACS'04",
    Address = "Barcelona, Spain",
    Editor = "I. Walukiewicz",
    Series = "Lecture Notes in Computer Science",
    Publisher = "Springer-Verlag, Berlin",
    Volume = "2987",
    Year = 2004,
    Month = "April",
    Pages = "318-332"
}