Manyebook
Hector J. Levesque
Knowledge Representation and Reasoning