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