A Complete Narrowing Calculus for Higher-Order Functional Logic Programming - Koichi Nakahara; Aart Middeldorp; Tetsuo Ida (PLILP, 1995)

Leftmost Outside-In Narrowing Calculi. - Tetsuo Ida; Koichi Nakahara (J. Funct. Program., 1997)