@book{20429,
	author = {Brachman, Ronald J., and Levesque, Hector J.,},
	title = {Knowledge representation and reasoning /},
	publisher = {Morgan Kaufmann,},
	year = {2004.},
	address = {Amsterdam ;},
	url = {http://www.loc.gov/catdir/toc/els051/2004046573.html}
}