Artificial intelligence and symbolic computation : International conference AISC 2000 Madrid, Spain, July 17-19, 2000 revised papers - Campbell, John A., Ed (Lecture notes in artificial intelligence /, 2001)