@inproceedings{GraLucRULE02,
    Author = "B.~Gramlich and S.~Lucas",
    Title = "Simple Termination of Context-Sensitive Rewriting",
    Booktitle = "Proc. of 3rd ACM Sigplan Workshop on Rule-Based Programming, RULE'02",
    Address = "Pittsburgh, USA",
    Editor = "B.~Fischer and E.~Visser",
    Publisher = "ACM Press, New York",
    Year = 2002,
    Month = "October",
    pages = "29-41"
}