,
IEEE Comput. Soc. Press (Los Alamitos, CA)
Annual IEEE Symposium on Foundations of Computer Science

Buhrman, H., Fortnow, L.& Torenvliet, L. (1995). Using autoreducibility to separate complexity classes. Proceedings of Annual IEEE Symposium on Foundations of Computer Science (FOCS) (36), 520–527.