Rafael del Vado Vírseda. A Higher-Order Demand-Driven Narrowing Calculus with Definitional Trees. In Cliff B. Jones, Zhiming Liu, Jim Woodcock, editors, Theoretical Aspects of Computing - ICTAC 2007, 4th International Colloquium, Macau, China, September 26-28, 2007, Proceedings. Volume 4711 of Lecture Notes in Computer Science, pages 169-184, Springer, 2007. [doi]
Abstract is missing.