@inproceedings{AMW-2017-MongoDB,
  author    = {Elena Botoeva and
               Diego Calvanese and
               Benjamin Cogrel and
               Guohui Xiao},
  title     = {Formalizing MongoDB Queries},
  booktitle = {Proc. of the 11th Alberto Mendelzon Int. Workshop on
               Foundations of Data Management and the Web (AMW 2017)},
  year      = {2017},
  webpdf = {https://www.doc.ic.ac.uk/~ebotoeva/papers/bccx-AMW-17.pdf},
}