Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic
arXiv (2014) - Comments
arxiv: 1407.2912  issn: 2331-8422  doi: 10.1137/15m1027267 

Georg Gottlob, Enrico Malizia