@book{70451,
	author = {Levesque, Hector J., and Lakemeyer, Gerhard},
	title = {The logic of knowledge bases /},
	publisher = {MIT Press,},
	year = {2000},
	address = {Cambridge, Mass. :}
}