The Relational Polynomial-Time Hierarchy and Second-Order Logic.

Flavio Antonio Ferrarotti Jose Maria Turull Torres The Relational Polynomial-Time Hierarchy and Second-Order Logic. 48-76 2008 SDKB http://dx.doi.org/10.1007/978-3-540-88594-8_3 conf/sdb/2008 db/conf/sdb/sdkb2008.html#FerrarottiT08