Brachman, Ronald J. and Hector .J. Levesque. Knowledge Representation and Reasoning. - Armsterdam. Elsevier. 2004. - 381p. Illustrated. ISBN: 9781558609327 LC Class. No.: Q 387 / .B73 2004