LECTURE NOTES IN ARTIFICIAL INTELLIGENCE (Springer-Verlag, Berlin, 1996)