| 1997 | ||
|---|---|---|
| 2 | Tetsuo Ida, Koichi Nakahara: Leftmost Outside-In Narrowing Calculi. J. Funct. Program. 7(2): 129-161 (1997) | |
| 1995 | ||
| 1 | Koichi Nakahara, Aart Middeldorp, Tetsuo Ida: A Complete Narrowing Calculus for Higher-Order Functional Logic Programming PLILP 1995: 97-114 | |
| 1 | Tetsuo Ida | [1] [2] |
| 2 | Aart Middeldorp | [1] |