TY - GEN T1 - Complexity of validity for propositional dependence logics UR - http://dx.doi.org/10.4204/EPTCS.161.5 PY - 2014/06/24 AU - Virtema J ED - Y2 - 2024/12/22 ER -