TY  - RPRT
TI  - Decision Problems for Additive Regular Functions
AU  - Rajeev Alur
AU  - Mukund Raghothaman
PY  - 2013
UR  - https://arxiv.org/abs/1304.7029
ID  - 1304.7029
ER  -