Theories for TC0 and other small complexity classes (2005)

by Phuong Nguyen, Stephen Cook
Venue:Logical Methods in Computer Science