B. Banihashemi, S. M. Khan, and M. Soutchanski, “From Actions to Programs as Abstract Actual Causes”, AAAI, vol. 36, no. 5, pp. 5470–5478, Jun. 2022.