The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic.

Flavio Ferrarotti, Senn Gonzlez, Klaus-Dieter Schewe, Jos Maria Turull Torres

Browse the full SYNASC paper archive.