TY  - RPRT
TI  - Strong Equivalence Made Easy: Nested Expressions and Weight Constraints
AU  - Hudson Turner
PY  - 2003
UR  - https://arxiv.org/abs/cs/0312029
ID  - cs/0312029
ER  -