LECTURE NOTES IN ARTIFICIAL INTELLIGENCE - M. P. Moseley (Springer-Verlag, Berlin, 1994)