TY  - RPRT
TI  - Array Folds Logic
AU  - Przemysław Daca
AU  - Thomas A. Henzinger
AU  - Andrey Kupriyanov
PY  - 2016
UR  - https://arxiv.org/abs/1603.06850
ID  - 1603.06850
ER  -