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