P. Walega, “Human-Like Spatial Reasoning Formalisms”, AAAI, vol. 31, no. 1, Feb. 2017.