Title: Axiomatisability and hardness for universal Horn classes of hypergraphs,
Abstract: We characterise finite axiomatisability and intractability of deciding
membership for universal Horn classes generated by finite loop-free
hypergraphs.