Sasa Buvac Ian A. Mason Propositional Logic of Context. 412-419 1993 AAAI db/conf/aaai/aaai93.html#BuvacM93