On provably disjoint NP-pairs (1994)

by A A Razborov
Venue:Electronic Colloquium on Computational Complexity