Jacques Calmet Tetsuo Ida Dongming Wang Artificial Intelligence and Symbolic Computation, 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings AISC Lecture Notes in Computer Science 4120 Springer 2006 3-540-39728-0 db/conf/aisc/aisc2006.html