@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 2024/12/22}}}