Bounded arithmetic for NC, ALogTIME (1992)

by P Clote, G Takeuti
Venue:L and NL. Annals of Pure and Applied Logic