TY  - JOUR

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

JO  - Information and Computation

UR  - https://doi.org/10.1016/j.ic.2014.08.004

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

PB  - Elsevier BV

VL  - 239

SP  - 237

EP  - 253

Y2  - 2026/01/07

ER  -