@inproceedings{inproceedings, title = {{Complexity of Two-Variable Dependence Logic and IF-Logic}},
publisher = {{IEEE}},
url = {{}},
year = {{2011}},
month = {{9}},
author = {{Kontinen J and Kuusisto A and Lohmann P and Virtema J}},
doi = {{10.1109/lics.2011.14}},
journal = {{2011 IEEE 26th Annual Symposium on Logic in Computer Science}},
note = {{Accessed on 2025/01/05}}}