@InProceedings{icdt/AamerBSTV20,
  author ={Heba Aamer and Bart Bogaerts and Dimitri Surinx and Eugenia Ternovska and Jan Van den Bussche},
  title ={Executable First-Order Queries in the Logic of Information Flows},
  booktitle ={23rd International Conference on Database Theory (ICDT 2020)},
  pages ={4:1--4:14},
  series ={Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN ={978-3-95977-139-9},
  ISSN ={1868-8969},
  year ={2020},
  volume ={155},
  editor ={Carsten Lutz and Jean Christoph Jung},
  publisher ={Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address ={Dagstuhl, Germany},
  URL ={https://drops.dagstuhl.de/opus/volltexte/2020/11928},
  URN ={urn:nbn:de:0030-drops-119284},
  doi ={10.4230/LIPIcs.ICDT.2020.4},
  annote ={Keywords: Logic of Information Flows, Limited access pattern, Executable first-order logic}
}