TY  - RPRT
TI  - Axiomatisability and hardness for universal Horn classes of hypergraphs
AU  - Lucy Ham
AU  - Marcel Jackson
PY  - 2017
DO  - 10.1007/s00012-018-0515-y
UR  - https://arxiv.org/abs/1704.02099
ID  - 1704.02099
ER  -