Enrico Marchioni Franco Montagna Complexity and Definability Issues in L Pi 1/2. 311-331 2007 17 J. Log. Comput. 2 http://dx.doi.org/10.1093/logcom/exl044 db/journals/logcom/logcom17.html#MarchioniM07