Making Computational Sense of Montague's Intensional Logic.

Jerry R. Hobbs Stanley J. Rosenschein Making Computational Sense of Montague's Intensional Logic. 287-306 1977 9 Artif. Intell. 3 db/journals/ai/ai9.html#HobbsR77