Eiter, T. & Gottlob, G. (1995), 'Identifying the Minimal Transversals of a Hypergraph and Related Problems', SIAM J. Comput. 24 (6), 1278--1304.