@article{Lut03a,
  author    = {Bas Luttik},
  title     = {On the expressiveness of choice quantification},
  journal   = {Ann. Pure Appl. Logic},
  volume    = {121},
  number    = {1},
  year      = {2003},
  pages     = {39-87}
}