Tetsuo Ida Mircea Marin Taro Suzuki Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations. 479-493 http://link.springer.de/link/service/series/0558/bibs/2178/21780479.htm 2001 conf/eurocast/2001 EUROCAST db/conf/eurocast/eurocast2001.html#IdaMS01