Your search returned the following document:
-
A Needed Narrowing Strategy
Sergio Antoy, Rachid Echahed, and Michael Hanus
In: Proceedings of the 21st ACM Symposium on Principles of Programming Languages (POPL'94), Portland, USA, 1994, 1994, 268-279. Note: Extended version available as Research Report MPI-I-93-243, Max-Planck-Institut
für Informatik, Saarbrücken, Germany