@inproceedings{Luc97, Author = "S. Lucas", Title = "Needed Reductions with Context-Sensitive Rewriting" Booktitle = "Proc. of the International Conference on Algebraic and Logic Programming, ALP'97", Editor = "M. Hanus, J. Heering, and K. Meinke", Series = "Lecture Notes in Computer Science", Volume = "1298", Pages = "129-143", Publisher = "Springer-Verlag, Berlin", Year = "1997", }