B. Banihashemi, G. De Giacomo, and Y. Lesperance, “Abstraction in Situation Calculus Action Theories”, AAAI, vol. 31, no. 1, Feb. 2017.