Weight constraints as nested expressions

Paolo Ferraris, Vladimir Lifschitz. Weight constraints as nested expressions. TPLP, 5(1-2):45-74, 2005. [doi]