Publications 2001

1. Tetsuo Ida, Mircea Marin and Norio Kobayashi (2001): An Open Environment for Cooperative Equational Solving. - Wuhan University Journal of Natural Sciences 6(1-2):169--174.
2. Tetsuo Ida, Mircea Marin and Taro Suzuki (2001): Higher-order Lazy Narrowing: A Solver for Higher-order Equations. - In: Proceedings of the Eight International Conference on Computer Aided Systems. (EUROCAST 2001), LNCS 2178. Springer, pages 478--493.
3. Mircea Marin, Tetsuo Ida and Wolfgang Schreiner (2001): CFLP: A Mathematica Implementation of a Distributed Constraint Solving System. - The Mathematica Journal 8(2):287--300.