@book{8466,
	author = {BRACHMAN RONALD J AND LEVESQUE HECTOR J},
	title = {KNOWLEDGE REPRESENTATION AND REASONING },
	publisher = {ELSEVIER},
	year = {2023},
	address = {AMSTERDAM}
}