Knowledge representation - Brachman, Ronald J, 1949-; Levesque, Hector Joseph, 1951-; Reiter, Raymond. (the MIT press, 1992)
A Bradford book
Reprinted from Artificial intelligence, an international journal, volume 49, number 1-3, May 1991