@inproceedings{da7ecb29c199407c8950cbb17b1b42ae,
title = "Inclusion logic and fixed point logic",
keywords = "dependence logic, fixed point logic, inclusion logic, team semantics, dependence logic, fixed point logic, inclusion logic, team semantics",
author = "Pietro Galliani and Lauri Hella",
year = "2013",
doi = "10.4230/LIPIcs.CSL.2013.281",
language = "English",
isbn = "978-3-939897-60-6",
series = "LIPIcs",
publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik",
number = "23",
pages = "281--295",
editor = "{Ronchi Della Rocca}, Simona",
booktitle = "Computer Science Logic 2013: 22nd Annual Conference of the EACSL, CSL{\textquoteright}13",
}