Levesque, Hector J. (1986), "Knowledge Representation and Reasoning",
in Joseph F. Traub, Barbara J. Grosz, Butler W. Lampson,
& Nils J. Nilsson (eds.), Annual Review of Computer Science
(Palo Alto, CA: Annual Reviews) 1: 255-287.
Levesque, Hector J. (1986),
"Making Believers out of Computers",
Artificial Intelligence
30: 81-108.