@inproceedings{Luc01,
    Author = "S.~Lucas",
    Title = "Termination of Rewriting With Strategy Annotations",
    Booktitle = "Proc. of 8th International Conference on Logic for 
                 Programming, Artificial Intelligence and Reasoning, LPAR'01",
    Address = "La Habana, Cuba",
    Editor = "A. Voronkov and R. Nieuwenhuis",
    Series = "Lecture Notes in Artificial Intelligence",
    Publisher = "Springer-Verlag, Berlin",
    Year = 2001,
    Month = "December",
    Volume = 2250,
    Pages = {669-684},
}