BRACHMAN,RONALD J. KNOWLEDGE REPRESENTATION AND REASONING - NEW YORK ELSEVIER PUB. 2004 - 380 p. ISBN: 9781558609327