@inproceedings{inproceedings, title = {{Decidability of predicate logics with team semantics}},
url = {{}},
year = {{2016}},
month = {{8}},
author = {{Kontinen J and Kuusisto A and Virtema J}},
doi = {{10.4230/LIPIcs.MFCS.2016.60}},
isbn = {{9783959770163}},
volume = {{58}},
journal = {{Leibniz International Proceedings in Informatics, LIPIcs}},
note = {{Accessed on 2025/01/09}}}