@Inproceedings{EPTCS161.5, author = {Virtema, Jonni}, year = {2014}, title = {Complexity of validity for propositional dependence logics}, editor = {Peron, Adriano and Piazza, Carla}, booktitle = {{\rm Proceedings Fifth International Symposium on} Games, Automata, Logics and Formal Verification, {\rm Verona, Italy, 10th - 12th September 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {161}, publisher = {Open Publishing Association}, pages = {18-31}, doi = {10.4204/EPTCS.161.5}, }