@book{10222,
	author = {Baral, Chitta},
	title = {Knowledge representation, reasoning and declarative problem solving},
	publisher = {Cambridge University Press},
	year = {2010},
	address = {Cambridge}
}