@misc{indiciaef4c612a8fda2, title = {The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic}, author = {Flavio Ferrarotti and Senén González and Klaus-Dieter Schewe and José María Turull-Torres}, year = {2018}, url = {https://arxiv.org/abs/1806.07127}, note = {Source identifier: 1806.07127} }