Fundamentals of artificial intelligence an advanced course (Springer, 1986)