@inproceedings{Luc01,
    Author = "S.~Lucas",
    Title = "Termination of OBJ programs with positive local strategies",
    Booktitle = "Proc. of 2nd International Workshop on Rule-Based Programming, 
                 RULE'01",
    Address = "Firenze, Italy",
    Editor = "M. van der Brand and R. Verma",
    Year = 2001,
    Month = "September",
    Pages = {64-78},
}