The following publications are possibly variants of this publication:
- Lazy Narrowing: Strong Completeness and Eager Variable EliminationAart Middeldorp, Satoshi Okui, Tetsuo Ida. TCS, 167(1&2):95-130, 1996. [doi]
- Lazy Narrowing: Strong Completeness and Eager Variable Elimination (Extended Abstract)Satoshi Okui, Aart Middeldorp, Tetsuo Ida. tapsoft 1995: 394-408
- New completeness results for lazy conditional narrowingMircea Marin, Aart Middeldorp. ppdp 2004: 120-131 [doi]
- Complete Selection Functions for a Lazy Conditional Narrowing CalculusAart Middeldorp, Taro Suzuki, Mohamed Hamada. jflp, 2002, 2002. [doi]
- A Complete Selection Function for Lazy Conditional NarrowingTaro Suzuki, Aart Middeldorp. FLOPS 2001: 201-215 [doi]