Complexity and Definability Issues in L Pi 1/2

@article{Marchioni2007ComplexityAD,
  title={Complexity and Definability Issues in L Pi 1/2},
  author={Enrico Marchioni and Franco Montagna},
  journal={J. Log. Comput.},
  year={2007},
  volume={17},
  pages={311-331}
}