Antoy, S., R. Echahed and M. Hanus: A Needed Narrowing Strategy. In: Proceedings of the 21st ACM Symposium on Principles of Programming Languages (POPL'94) ACM, New York, USA (1994) 268-279.
localid: C1256104005ECAFC-62AE0D6224F5F524C12561440062210B-AntoyEchahedHanus94a
http://edoc.mpg.de
The Max Planck Society does not take any responsibility for the content of this export.