Fundamentals of artificial intelligence : an advanced course - Bibel, W., (Lecture notes in computer science, 1986)