Dependence Logic - Abramsky, Samson; Kontinen, Juha; Väänänen, Jouko; Vollmer, Heribert; Kontinen, Juha; Vollmer, Heribert; Väänänen, Jouko (Springer International Publishing, 2016)