K. Deuser and P. Naumov, “Armstrong’s Axioms and Navigation Strategies”, AAAI, vol. 32, no. 1, Apr. 2018.