LECTURE NOTES IN ARTIFICIAL INTELLIGENCE - Siekmann, J. (Springer-Verlag, 1989)