@inproceedings{GraLucPPDP02,
    Author = "B.~Gramlich and S.~Lucas",
    Title = "Modular Termination of Context-Sensitive Rewriting",
    Booktitle = "Proc. of 4th ACM Sigplan Conference on Principles and 
                 Practice of Declarative Programming, PPDP'02",
    Address = "Pittsburgh, USA",
    Editor = "C.~Kirchner",
    Publisher = "ACM Press, New York",
    Year = 2002,
    Month = "October",
    pages = "50-61"
}