| 1998 |
|---|
| 4 | EE | Satoshi Okui:
Simultaneous Critical Pairs and Church-Rosser Property.
RTA 1998: 2-16 |
| 3 | | Aart Middeldorp,
Satoshi Okui:
A Deterministic Lazy Narrowing Calculus.
J. Symb. Comput. 25(6): 733-757 (1998) |
| 1996 |
|---|
| 2 | EE | Aart Middeldorp,
Satoshi Okui,
Tetsuo Ida:
Lazy Narrowing: Strong Completeness and Eager Variable Elimination.
Theor. Comput. Sci. 167(1&2): 95-130 (1996) |
| 1995 |
|---|
| 1 | | Satoshi Okui,
Aart Middeldorp,
Tetsuo Ida:
Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract).
TAPSOFT 1995: 394-408 |
