Bochman, A.; Lifschitz, V. Pearl’s Causality in a Logical Setting. AAAI 2015, 29.