@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 2024/09/19}}}