Disjoint NP-pairs and propositional proof systems (2006)