@misc{indiciae9b7c747f4090, title = {Causality \& Control Flow}, author = {Robert Künnemann and Deepak Garg and Michael Backes}, year = {2019}, doi = {10.4204/eptcs.308.3}, url = {https://arxiv.org/abs/1910.14219}, note = {Source identifier: 1910.14219} }