TY  - RPRT
TI  - Locally Consistent K-relations: Entailment and Axioms of Functional Dependence
AU  - Timon Barlag
AU  - Miika Hannula
AU  - Juha Kontinen
AU  - Nina Pardal
AU  - Jonni Virtema
PY  - 2026
UR  - https://arxiv.org/abs/2505.11057
ID  - 2505.11057
ER  -