TY  - RPRT
TI  - Monadic Decomposition in Integer Linear Arithmetic (Technical Report)
AU  - Matthew Hague
AU  - Anthony Widjaja Lin
AU  - Philipp Rümmer
AU  - Zhilin Wu
PY  - 2020
UR  - https://arxiv.org/abs/2004.12371
ID  - 2004.12371
ER  -