TY  - JOUR

T1  - Complexity of validity for propositional dependence logics

JO  - Information and Computation

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

PY  - 2017/04/01

AU  - Virtema J

ED  - 

DO  - DOI: 10.1016/j.ic.2016.07.008

PB  - Elsevier BV

VL  - 253

SP  - 224

EP  - 236

Y2  - 2025/12/16

ER  -