The logic of knowledge bases - Levesque, Hector J.; Lakemeyer, Gerhard (MIT Press, 2000)