Michael Krivelevich Approximate Set Covering in Uniform Hypergraphs. 118-143 1997 25 J. Algorithms 1 db/journals/jal/jal25.html#Krivelevich97