FUNDAMENTALS OF ARTIFICIAL INTELLIGENCE - Bibel, W. (Springer-Verlag, 1987)