Mircea Marin, Aart Middeldorp. New completeness results for lazy conditional narrowing. In Eugenio Moggi, David Scott Warren, editors, Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy. pages 120-131, ACM, 2004. [doi]
Abstract is missing.