@misc{indiciaeed8703b173e8, title = {Simplifying inclusion-exclusion formulas}, author = {Xavier Goaoc and Jiří Matoušek and Pavel Paták and Zuzana Safernová and Martin Tancer}, year = {2014}, url = {https://arxiv.org/abs/1207.2591}, note = {Source identifier: 1207.2591} }