@article{BenediktPuppisVu10,
  title = "Positive Higher-Order Queries",
  author = "Michael Benedikt and Gabriele Puppis and Huy Vu",
  year = "2010",
  affiliation = "Oxford University",
  journal = "PODS: The 29th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems",
  location = "Indianapolis, Indiana, USA",
  publisher = "ACM",
}