Knowledge representation /
Brachman, Ronald J.,1949-
Levesque, Hector J.
Reiter, Raymond.
Cambridge, Mass. ; London : MIT Press,
1992, c1991.
Originally published: Amsterdam : Elsevier Science Publishers, 1991.