A. Brożek and J. Jadacki, “On Imperative Reasoning”, FPhil, no. 25, pp. 133–149, Jan. 2012.