TY  - RPRT
TI  - Unique key Horn functions
AU  - Kristóf Bérczi
AU  - Endre Boros
AU  - Ondřej Čepek
AU  - Petr Kučera
AU  - Kazuhisa Makino
PY  - 2020
UR  - https://arxiv.org/abs/2002.06964
ID  - 2002.06964
ER  -