Foundations of knowledge representation and reasoning - Lakemeyer, Gerhard; Nebel, Bernhard (Lecture notes in computer science Lecture notes in computer science, 1994)