Eiter, T. & Gottlob, G. (1995). Identifying the Minimal Transversals of a Hypergraph and Related Problems. SIAM J. Comput., 24, 1278--1304. doi: http://dx.doi.org/10.1137/S0097539793250299