(1)
Drescher, C.; Walsh, T. Conflict-Driven Constraint Answer Set Solving With Lazy Nogood Generation. AAAI 2011, 25, 1772-1773.