Contexts: A Formal Definition of Worlds of Assertions.

Guy W. Mineau Olivier Gerbé Contexts: A Formal Definition of Worlds of Assertions. 80-94 1997 conf/iccs/1997 ICCS db/conf/iccs/iccs97.html#MineauG97 http://dx.doi.org/10.1007/BFb0027910