Lecture Notes in Artificial Intelligence - Ewald, Lang (Springer-Verlag New York, 1991)