"Achieving new upper bounds for the hypergraph duality problem through logic."

Georg Gottlob, Enrico Malizia (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics