TY  - JOUR

T1  - Complexity of two-variable dependence logic and IF-logic

JO  - Information and Computation

PY  - 2014/01/01

AU  - Kontinen J

AU  - Kuusisto A

AU  - Lohmann P

AU  - Virtema J

ED  - 

DO  - DOI: 10.1016/j.ic.2014.08.004

VL  - 239

SP  - 237

EP  - 253

Y2  - 2024/12/22

ER  -