@InProceedings{BuhForThi98, author = "Buhrman, Harry and Fortnow, Lance and Thierauf, Thomas", title = "Nonrelativizing Separations", booktitle = "13th IEEE Conference on Computational Complexity (CCC)", publisher = "IEEE Computer Society Press", year = "1998", pages = "8-12", }