Olaf Beyersdorff Tuples of Disjoint NP-Sets. 118-135 2008 43 Theory Comput. Syst. 2 http://dx.doi.org/10.1007/s00224-007-9023-8 db/journals/mst/mst43.html#Beyersdorff08