jdh.hamkins.org
${\rm P}\neq{\rm NP}\cap\textrm{co-}{\rm NP}$ for infinite time Turing machines
[bibtex key=DeolalikarHamkinsSchindler2005:NPcoNP]