@inproceedings{Luc01,
    Author = "S.~Lucas",
    Title = "Computational properties of term rewriting with strategy annotations",
    Booktitle = "Proc. of Primeras Jornadas sobre Programación y Lenguajes, PROLE'01",
    Address = "Almagro, Spain",
    Editor = "F. Orejas, F. Cuartero, and D. Cazorla",
    Publisher = "Universidad de Castilla-La Mancha",
    Year = 2001,
    Month = "November",
    Pages = {17-31},
}