Luciano Serafini Floris Roelofsen Satisfiability for Propositional Contexts. 369-376 2004 conf/kr/2004 KR db/conf/kr/kr2004.html#SerafiniR04