IEEE Conference on Computational Complexity (12th 1997 Ulm, Germany)