Author: IEEE Conference on Computational Complexity (15th 2000 Florence, Italy)