Author: IEEE Conference on Computational Complexity (13th 1998 Buffalo, N.Y.)