Title: Twelfth Annual IEEE Conference on Computational Complexity: June 24-27, 1997 Ulm, Germany