Uffe Flarup Hansen Klaus Meer Two logical hierarchies of optimization problems over the real numbers. 37-50 2006 52 Math. Log. Q. 1 http://dx.doi.org/10.1002/malq.200510021 db/journals/mlq/mlq52.html#HansenM06