Céline Hébert Alain Bretto Bruno Crémilleux Optimizing hypergraph transversal computation with an anti-monotone constraint. 443-444 2007 conf/sac/2007 SAC http://doi.acm.org/10.1145/1244002.1244104 db/conf/sac/sac2007.html#HebertBC07