TY  - RPRT
TI  - Solving Functional Constraints by Variable Substitution
AU  - Yuanlin Zhang
AU  - Roland H. C. Yap
PY  - 2010
UR  - https://arxiv.org/abs/1006.3215
ID  - 1006.3215
ER  -