Artificial Intelligence and Symbolic Computation : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings - Jacques Calmet, Jan Plaza ((Lecture Notes in Computer Science))