@inproceedings{BorLucRubCADE02,
    Author = "C. Borralleras,  S. Lucas, and A. Rubio",
    Title = "Recursive Path Orderings can be Context-Sensitive",
    Booktitle = "Proc. of 18th International Conference on Automated 
       Deduction, CADE'02",
    Address = "Copenhagen, Denmark",
    Editor = "A. Voronkov",
    Series = "Lecture Notes in Artificial Intelligence",
    Publisher = "Springer-Verlag, Berlin",
    Year = 2002,
    Month = "June",
    Volume = 2392,
    Pages = {314-331},
}