Annals of Mathematics and Artificial Intelligence (Kluwer Acadecic Publishers, 1997)