Resolution for Constrained Pseudo-Propositional Logic