@inproceedings{Luc01,
    Author = "S.~Lucas",
    Title = "Termination of on-demand rewriting and termination of OBJ 
             programs",
    Booktitle = "Proc. of 3rd International ACM SIGPLAN 
                 Conference on Principles and Practice of Declarative 
                 Programming, PPDP'01",
    Address = "Firenze, Italy",
    Editor = "H. Sondergaard",
    Publisher = "ACM Press, New York",
    Year = 2001,
    Month = "September",
    Pages = {82-93},
}