@ARTICLE{bpv15,
  author = {M. Benedikt and G. Puppis and H. Vu},
  title = {The complexity of higher-order queries},
  journal = {Information and Computation},
  year = {2015},
  volume = {244},
  pages = {172-202},
  publisher = {Springer}
}