Inductive counting below LOGSPACE - Damm, Carsten; Holzer, Markus (Univ., 1994)