@inproceedings{inproceedings, title  = {{Complexity of Two-Variable Dependence Logic and IF-Logic}},

 publisher = {{IEEE}},

 url = {{https://doi.org/10.1109/lics.2011.14 }},

 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}},

 pages = {{289-298}},

 note = {{Accessed on 2025/12/18}}}