TY  - RPRT
TI  - Armstrong's Axioms and Navigation Strategies
AU  - Kaya Deuser
AU  - Pavel Naumov
PY  - 2017
UR  - https://arxiv.org/abs/1707.04106
ID  - 1707.04106
ER  -