Title: VTC0:  A second-order theory for TC0
First published: 2004