Hector J. Levesque Foundations of a Functional Approach to Knowledge Representation. 155-212 1984 23 Artif. Intell. 2 db/journals/ai/ai23.html#Levesque84