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