Author: IEEE Conference on Computational Complexity (17th 2002 Montreal, Québec)