IEEE Conference on Computational Complexity (16th 2001 Chicago, Ill.)