Artificial Intelligence and Symbolic Computation: International Conference Aisc 2000 Madrid, Spain, July 17-19, 2000, Revised Papers by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2001)