Orestes Bueno Prabhu Manyem Polynomial-TimeMaximisation Classes: Syntactic Hierarchy. 111-133 2008 84 Fundam. Inform. 1 http://iospress.metapress.com/content/j442733142q2v412/ db/journals/fuin/fuin84.html#BuenoM08