New results on monotone dualization and generating hypergraph transversals.

Thomas Eiter, Georg Gottlob, Kazuhisa Makino

Browse the full STOC paper archive.