LECTURE NOTES IN ARTIFICIAL INTELLIGENCE - Siekmann, J (Berlin Springer-Verlag, 1991)