TY - RPRT TI - Separating complexity classes using autoreducibility AU - Harry Buhrman AU - Lance Fortnow AU - Leen Torenvliet AU - Dieter van Melkebeek PY - 1998 UR - https://arxiv.org/abs/math/9807185 ID - math/9807185 ER -