T. Eiter, G. Gottlob, K. Makino: "New Results on Monotone Dualization and Generating Hypergraph Transversals (INFSYS RR-1843-02-05)"; Report for Institut f. Informationssysteme, TU Wien; 2002.