Author: IEEE Conference on Computational Complexity (11th 1996 Philadelphia, Penn.)