Knowledge Representation, Reasoning and Declarative Problem Solving - Baral, Chitta (Cambridge University Press, 2003)