Dependence Logic Theory and Applications - Abramsky, Samson; Kontinen, Juha; Väänänen, Jouko; Vollmer, Heribert (Springer International Publishing : Imprint: Birkhäuser, 2016)