@INPROCEEDINGS{bptp16,
  author = {M. Benedikt and P. Bourhis and B. ten Cate and G. Puppis},
  title = {Querying Visible and Invisible Information},
  booktitle = {Proceedings of the 31st Annual {ACM/IEEE} 
               Symposium on Logic in Computer Science (LICS)},
  pages = {297-306},
  year = {2016},
  publisher = {ACM}
}