ReadGlim
A Counterfactual Cause in Situation Calculus — ReadGlim