Richmond H. Thomason Making Contextual Intensional Logic Nonmonotonic. 501-514 2005 conf/context/2005 CONTEXT https://doi.org/10.1007/11508373_38 db/conf/context/context2005.html#Thomason05