VTC0: A second-order theory for TC0 | lit.salon