Symposium on Foundations of Computer Science (36th 1995 Milwaukee, Wis.)