TY - JOUR T1 - Complexity of validity for propositional dependence logics JO - Information and Computation PY - 2017/04/01 AU - Virtema J ED - DO - DOI: 10.1016/j.ic.2016.07.008 VL - 253 SP - 224 EP - 236 Y2 - 2024/12/23 ER -