Paolo Ferraris Vladimir Lifschitz Weight constraints as nested expressions. 45-74 2005 5 TPLP 1-2 http://dx.doi.org/10.1017/S1471068403001923 db/journals/tplp/tplp5.html#FerrarisL05