@article{article, title = {{Complexity of two-variable dependence logic and IF-logic}}, url = {{}}, year = {{2014}}, month = {{1}}, author = {{Kontinen J and Kuusisto A and Lohmann P and Virtema J}}, doi = {{10.1016/j.ic.2014.08.004}}, volume = {{239}}, journal = {{Information and Computation}}, pages = {{237-253}}, note = {{Accessed on 2024/12/22}}}