The Logic of Knowledge Bases door Gerhard Lakemeyer & Hector J. Levesque