New results on monotone dualization and generating hypergraph transversals (2003)

by T Eiter, G Gottlob, K Makino
Venue:SIAM Journal on Computing