Y. Izmirlioglu and E. Erdem, “Qualitative Reasoning About Cardinal Directions Using Answer Set Programming”, AAAI, vol. 32, no. 1, Apr. 2018.