Achieving new upper bounds for the hypergraph duality problem through logic (Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014)

(untitled) - Gottlob, G; Malizia, E