Title: 15th Annual IEEE Conference on Computational Complexity: July 4-7, 2000 Florence, Italy