SNePS considered as a fully intensional propositional semantic network (1987)

by Stuart C. Shapiro, William J. Rapaport
Venue:The Knowledge Frontier