Harry Buhrman Lance Fortnow Leen Torenvliet Six Hypotheses in Search of a Theorem. 2-12 http://www.computer.org/proceedings/ccc/7907/79070002abs.htm 1997 IEEE Conference on Computational Complexity db/conf/coco/coco97.html#BuhrmanFT97