31 E. Mayordomo J.H. Lutz L. Fortnow 2012 Inseparability and Strong Hypotheses for Disjoint NP Pairs Theory of Computing Systems 51 229-247 http%3A%2F%2Fwebdiis.unizar.es%2F%7Eelvira%2Fresearch.html