@inproceedings{Luc01,
    Author = "S.~Lucas",
    Title = "Context-Sensitive Rewriting, Lazy Rewriting, and On-demand Rewriting",
    Booktitle = "Proc. of International Workshop on Functional and (Constraint) 
                 Logic Programming, WFLP'01",
    Address = "Kiel, Germany",
    Editor = "M. Hanus",
    Publisher = "Christian-Albrechts-Universitaet zu Kiel",
    Series = "Technical Report",
    Volume = 2017,
    Year = 2001,
    Month = "September",
    Pages = {197-210}
}