@misc{misc, title = {{Complexity of two-variable Dependence Logic and IF-Logic}}, url = {{}}, year = {{2011}}, month = {{4}}, author = {{Kontinen J and Kuusisto A and Lohmann P and Virtema J}}, note = {{Accessed on 2024/12/22}}}