@inproceedings{DBLP:conf/icdt/RaszykBKT22,
  author    = {Martin Raszyk and
               David A. Basin and
               Srdan Krstic and
               Dmitriy Traytel},
  editor    = {Dan Olteanu and
               Nils Vortmeier},
  title     = {Practical Relational Calculus Query Evaluation},
  booktitle = {{ICDT} 2022},
  series    = {LIPIcs},
  volume    = {220},
  pages     = {11:1--11:21},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2022},
  doi       = {10.4230/LIPIcs.ICDT.2022.11},
}

@book{DBLP:books/aw/AbiteboulHV95,
  author    = {Serge Abiteboul and
               Richard Hull and
               Victor Vianu},
  title     = {Foundations of Databases},
  publisher = {Addison-Wesley},
  year      = {1995},
  url       = {http://webdam.inria.fr/Alice/},
  isbn      = {0-201-53771-0},
}