@book{226865,
	author = {Baral, Chitta. and ProQuest (Firm)},
	title = {Knowledge representation, reasoning, and declarative problem solving},
	publisher = {Cambridge University Press,},
	year = {2003.},
	address = {Cambridge ;},
	url = {https://ebookcentral.proquest.com/lib/kuct-ebooks/detail.action?docID=202398}
}