Model-Theoretic Semantics and Tractable Algorithm for CNF-BCP. - Rahul Roy-Chowdhury; Mukesh Dalal (AAAI/IAAI, 1997)