Jukka Corander, Antti Hyttinen, Juha Kontinen, Johan Pensar, Jouko Väänänen: A Logical Approach to Context-Specific Independence. WoLLIC 2016: 165-182