TY  - RPRT
TI  - Some integer formula-encodings and related algorithms
AU  - Edinah K. Gnang
AU  - Patrick Devlin
PY  - 2013
UR  - https://arxiv.org/abs/1303.0325
ID  - 1303.0325
ER  -