@inproceedings{hypergraph_transversal-conferenza,
  title = "Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic",
  author = "Georg Gottlob and Enrico Malizia",
  year = "2014",
  address = "Vienna, Austria",
  booktitle = "Proceedings of the Joint Meeting of the 23rd EACSL Annual Conference on Computer Science Logic (CSL) and the 29th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (CSL-LICS 2014)",
  editor = "Thomas A. Henzinger and Dale Miller",
  month = "July 14--18",
  pages = "43:1--43:10",
  url = "http://dx.doi.org/10.1145/2603088.2603103",
}