LECTURE NOTES IN ARTIFICIAL INTELLIGENCE (New York Springer-Verlag, 1993)