Annals of mathematics and artificial intelligence (J.C. Baltzer AG, 1990)