T. Eiter, G. Gottlob, K. Makino: "New Results on Monotone Dualization and Generating Hypergraph Transversals"; SIAM JOURNAL ON COMPUTING, 32 (2003), 2; 514 - 537.