ReadGlim
Logic Programming Semantics for Causal Processes — ReadGlim