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