C. Drescher and T. Walsh, “Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation”, AAAI, vol. 25, no. 1, pp. 1772-1773, Aug. 2011.