@book{20462,
	author = {Baral, Chitta.},
	title = {Knowledge representation, reasoning and declarative problem solving /},
	publisher = {Cambridge University Press,},
	year = {2003.},
	address = {Cambridge ;},
	url = {http://www.loc.gov/catdir/samples/cam033/2002025622.html}
}