Weak length induction and slow growing depth boolean circuits - Satoru Kuroda (CoRR, 1999)

An Independence Result on Weak Second Order Bounded Arithmetic. - Satoru Kuroda (Math. Log. Q., 2001)

Recursion Schemata for Slowly Growing Depth Circuit Classes. - Satoru Kuroda (Comput. Complex., 2004)

Generalized quantifier and a bounded arithmetic theory for LOGCFL. - Satoru Kuroda (Arch. Math. Log., 2007)

Axiomatizing proof tree concepts in Bounded Arithmetic. - Satoru Kuroda (CSL, 2012)

Sprague-Grundy theory in bounded arithmetic. - Satoru Kuroda (Arch. Math. Log., 2022)

On matrix rank function over bounded arithmetics. - Eitetsu Ken; Satoru Kuroda (CoRR, 2023)