Generalizing DPLL to Richer Logics