TY  - RPRT
TI  - Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic
AU  - Georg Gottlob
AU  - Enrico Malizia
PY  - 2017
DO  - 10.1137/15m1027267
UR  - https://arxiv.org/abs/1407.2912
ID  - 1407.2912
ER  -