Samson Abramsky, Juha Kontinen, Jouko Väänänen, Heribert Vollmer Dependence Logic - Springer Springer 2016 ISBN: 9783319318035 Source: EBOOK