@article{thehornnonclausalclassandits,
  title = {The Horn Non-Clausal Class and its Polynomiality},
  author = {Gonzalo E. Imaz},
  year = {2021},
  eprint = {2108.13744},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2108.13744v3},
}