Knowledge representation, reasoning, and declarative problem solving - Baral, Chitta (Cambridge University Press, 2003)