2006 conf/coco/2006 IEEE Conference on Computational Complexity http://doi.ieeecomputersociety.org/10.1109/CCC.2006.13 db/conf/coco/coco2006.html#X06a