@book{420,
	author = {Brachman, Ronald J. and Levesque Hector J.},
	title = {Knowledge Reprsentation and Reasoning /},
	publisher = {Elsevier,},
	year = {2012.},
	address = {Amsterdam :}
}