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