Satisfiability for Propositional Contexts.

Luciano Serafini, Floris Roelofsen

Browse the full KR paper archive.