Author: International Conference on Artificial Intelligence and Symbolic Mathematical Computation (5th 2000 Madrid, Spain)