Deuser, K.; Naumov, P. Armstrong’s Axioms and Navigation Strategies. AAAI 2018, 32.