@techreport{hypergraph_transversal-techrep,
  title = "Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic",
  author = "Georg Gottlob and Enrico Malizia",
  year = "2015",
  institution = "Computing Research Repository (CoRR)",
  month = "June",
  number = "arXiv:1407.2912",
  url = "http://arxiv.org/abs/1407.2912",
}