Artificial Intelligence and Symbolic Computation : International Conference AISC 2000 Madrid, Spain, July 17-19, 2000. Revised Papers - John A. Campbell, Eugenio Roanes-Lozano ((Lecture Notes in Computer Science))