Jacques Calmet Jan A. Plaza Artificial Intelligence and Symbolic Computation, International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings AISC Lecture Notes in Computer Science 1476 Springer 1998 3-540-64960-3 db/conf/aisc/aisc1998.html