Jacques Calmet Belaid Benhamou Olga Caprotti Laurent Henocque Volker Sorge Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings AISC Lecture Notes in Computer Science 2385 Springer 2002 3-540-43865-3 db/conf/aisc/aisc2002.html