E. Kitzelmann, U. Schmid, M. Mühlpfordt, and F. Wysotzki. AISC '02/Calculemus '02: Proceedings of the Joint International Conferences on Artificial Intelligence, Automated Reasoning, and Symbolic Computation, volume 2385 of LNCS, page 337--354. Springer-Verlag, (2002)
H. Juille, and J. Pollack. Proceedings of the Fifteenth National Conference on
Artificial Intelligence (AAAI-98) Tenth Conference on
Innovative Applications of Artificial Intelligence
(IAAI-98), Madison, Wisconsin, USA, AAAI Press Books, (26-30 July 1998)
L. Hamel. GECCO 2002: Proceedings of the Genetic and
Evolutionary Computation Conference, page 748--755. New York, Morgan Kaufmann Publishers, (9-13 July 2002)