Logical and Schematic Characterization of Complexity Classes.

Iain A. Stewart Logical and Schematic Characterization of Complexity Classes. 61-87 1993 30 Acta Inf. 1 db/journals/acta/acta30.html#Stewart93