TY  - RPRT
TI  - Irredundant Triangular Decomposition
AU  - Gleb Pogudin
AU  - Agnes Szanto
PY  - 2018
DO  - 10.1145/3208976.3208996
UR  - https://arxiv.org/abs/1802.01624
ID  - 1802.01624
ER  -