Annalisa De Bonis Leszek Gasieniec Ugo Vaccaro Optimal Two-Stage Algorithms for Group Testing Problems. 1253-1270 2005 34 SIAM J. Comput. 5 http://dx.doi.org/10.1137/S0097539703428002 db/journals/siamcomp/siamcomp34.html#BonisGV05