@misc{misc, title  = {{Complexity of two-variable Dependence Logic and IF-Logic}},

 year = {{2011}},

 month = {{4}},

 author = {{Kontinen J and Kuusisto A and Lohmann P and Virtema J}},

 note = {{Accessed on 2026/08/14}}}