@inproceedings{DBLP:conf/csl/KontinenMSV15,
  added-at = {2016-01-14T11:07:53.000+0100},
  author = {Kontinen, Juha and M{\"{u}}ller, Julian{-}Steffen and Schnoor, Henning and Vollmer, Heribert},
  bibsource = {dblp computer science bibliography, http://dblp.org},
  biburl = {https://www.bibsonomy.org/bibtex/2dfcadff52e69eb95442799285a4fb434/hvo},
  booktitle = {24th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2015,               September 7-10, 2015, Berlin, Germany},
  crossref = {DBLP:conf/csl/2015},
  doi = {10.4230/LIPIcs.CSL.2015.277},
  interhash = {0f7b7ef95991f26527cca63bfd1a2b43},
  intrahash = {dfcadff52e69eb95442799285a4fb434},
  keywords = {complexity modal:logic myown},
  pages = {277--291},
  timestamp = {2016-01-14T11:07:53.000+0100},
  title = {A Van Benthem Theorem for Modal Team Semantics},
  url = {http://dx.doi.org/10.4230/LIPIcs.CSL.2015.277},
  year = 2015
}