Michael Hanus. Combining Lazy Narrowing and Normalization. In ILPS. pages 673, 1993.
@inproceedings{Hanus93:1, title = {Combining Lazy Narrowing and Normalization}, author = {Michael Hanus}, year = {1993}, tags = {laziness}, researchr = {https://researchr.org/publication/Hanus93%3A1}, cites = {0}, citedby = {0}, pages = {673}, booktitle = {ILPS}, }