Banihashemi, B.; De Giacomo, G.; Lesperance, Y. Abstraction in Situation Calculus Action Theories. AAAI 2017, 31.