@book{41124,
	author = {Brachman, Ronald J., and Levesque, Hector J., and ebrary, Inc.},
	title = {Knowledge representation and reasoning},
	publisher = {Morgan Kaufmann,},
	year = {c2004.},
	address = {Amsterdam ;},
	url = {http://site.ebrary.com/lib/rucke/Doc?id=10226628}
}