TY  - RPRT
TI  - Weight Constraints as Nested Expressions
AU  - Paolo Ferraris
AU  - Vladimir Lifschitz
PY  - 2003
UR  - https://arxiv.org/abs/cs/0312045
ID  - cs/0312045
ER  -