@article{steel2023interior,
  author  = {Steel, Mike},
  title   = {Interior operators and their relationship to autocatalytic networks},
  journal = {Acta Biotheoretica},
  volume  = {71},
  number  = {4},
  pages   = {21},
  year    = {2023},
  doi     = {10.1007/s10441-023-09472-8},
  note    = {arXiv:2305.16714}
}

@article{liberatore2023reconstructing,
  author  = {Liberatore, Paolo},
  title   = {Reconstructing a single-head formula to facilitate logical forgetting},
  journal = {Journal of Logic and Computation},
  volume  = {33},
  number  = {7},
  pages   = {1596--1624},
  year    = {2023},
  doi     = {10.1093/logcom/exac086}
}

@misc{liberatore2020common,
  author       = {Liberatore, Paolo},
  title        = {Common equivalence and size after forgetting},
  howpublished = {arXiv:2006.11152},
  year         = {2020}
}

@article{angluin1992learning,
  author  = {Angluin, Dana and Frazier, Michael and Pitt, Leonard},
  title   = {Learning conjunctions of {H}orn clauses},
  journal = {Machine Learning},
  volume  = {9},
  number  = {2--3},
  pages   = {147--164},
  year    = {1992},
  doi     = {10.1007/BF00992675}
}

@article{dowling1984linear,
  author  = {Dowling, William F. and Gallier, Jean H.},
  title   = {Linear-time algorithms for testing the satisfiability of propositional {H}orn formulae},
  journal = {Journal of Logic Programming},
  volume  = {1},
  number  = {3},
  pages   = {267--284},
  year    = {1984},
  doi     = {10.1016/0743-1066(84)90014-1}
}

@incollection{ganter2010two,
  author    = {Ganter, Bernhard},
  title     = {Two basic algorithms in concept analysis},
  booktitle = {Formal Concept Analysis (ICFCA 2010)},
  editor    = {Kwuida, L{\'e}onard and Sertkaya, Bar{\i}{\c{s}}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5986},
  publisher = {Springer},
  address   = {Berlin},
  pages     = {312--340},
  year      = {2010},
  doi       = {10.1007/978-3-642-11928-6_22},
  note      = {Reprint of the 1984 Technische Hochschule Darmstadt preprint FB4-831}
}

@article{fulkerson1965incidence,
  author  = {Fulkerson, Delbert R. and Gross, Oliver A.},
  title   = {Incidence matrices and interval graphs},
  journal = {Pacific Journal of Mathematics},
  volume  = {15},
  number  = {3},
  pages   = {835--855},
  year    = {1965},
  doi     = {10.2140/pjm.1965.15.835}
}

@book{korte1991greedoids,
  author    = {Korte, Bernhard and Lov{\'a}sz, L{\'a}szl{\'o} and Schrader, Rainer},
  title     = {Greedoids},
  series    = {Algorithms and Combinatorics},
  volume    = {4},
  publisher = {Springer},
  address   = {Berlin},
  year      = {1991}
}

@article{edelman1985theory,
  author  = {Edelman, Paul H. and Jamison, Robert E.},
  title   = {The theory of convex geometries},
  journal = {Geometriae Dedicata},
  volume  = {19},
  number  = {3},
  pages   = {247--270},
  year    = {1985},
  doi     = {10.1007/BF00149365}
}

@article{wild2017joy,
  author  = {Wild, Marcel},
  title   = {The joy of implications, aka pure {H}orn formulas: Mainly a survey},
  journal = {Theoretical Computer Science},
  volume  = {658},
  pages   = {264--292},
  year    = {2017},
  doi     = {10.1016/j.tcs.2016.03.018}
}

@article{yoshikawa2017representation,
  author  = {Yoshikawa, Hiyori and Hirai, Hiroshi and Makino, Kazuhisa},
  title   = {A representation of antimatroids by {H}orn rules and its application to educational systems},
  journal = {Journal of Mathematical Psychology},
  volume  = {77},
  pages   = {82--93},
  year    = {2017},
  doi     = {10.1016/j.jmp.2016.09.002}
}

@article{kauffman1986autocatalytic,
  author  = {Kauffman, Stuart A.},
  title   = {Autocatalytic sets of proteins},
  journal = {Journal of Theoretical Biology},
  volume  = {119},
  number  = {1},
  pages   = {1--24},
  year    = {1986},
  doi     = {10.1016/S0022-5193(86)80047-9}
}

@article{hordijk2004detecting,
  author  = {Hordijk, Wim and Steel, Mike},
  title   = {Detecting autocatalytic, self-sustaining sets in chemical reaction systems},
  journal = {Journal of Theoretical Biology},
  volume  = {227},
  number  = {4},
  pages   = {451--461},
  year    = {2004},
  doi     = {10.1016/j.jtbi.2003.11.020}
}

@article{hordijk2017chasing,
  author  = {Hordijk, Wim and Steel, Mike},
  title   = {Chasing the tail: The emergence of autocatalytic networks},
  journal = {Biosystems},
  volume  = {152},
  pages   = {1--10},
  year    = {2017},
  doi     = {10.1016/j.biosystems.2016.12.002}
}

@article{steel2019autocatalytic,
  author  = {Steel, Mike and Hordijk, Wim and Xavier, Joana C.},
  title   = {Autocatalytic networks in biology: structural theory and algorithms},
  journal = {Journal of the Royal Society Interface},
  volume  = {16},
  number  = {151},
  pages   = {20180808},
  year    = {2019},
  doi     = {10.1098/rsif.2018.0808}
}

@misc{mislan2026antimatroid,
  author = {Mislan, Michael},
  title = {Antimatroid characterization of {RAF} interior operators},
  year = {2026},
  doi = {10.5281/zenodo.23459454},
  howpublished = {Zenodo. \doi{10.5281/zenodo.23459454}},
  note = {Version 1.0. Preprint}
}

@inproceedings{demoura2021lean4,
  author    = {de Moura, Leonardo and Ullrich, Sebastian},
  title     = {The {L}ean 4 theorem prover and programming language},
  booktitle = {Automated Deduction -- CADE 28},
  series    = {Lecture Notes in Computer Science},
  volume    = {12699},
  publisher = {Springer},
  pages     = {625--635},
  year      = {2021},
  doi     = {10.1007/978-3-030-79876-5_37}
}

@inproceedings{mathlib2020,
  author    = {{The mathlib Community}},
  title     = {The {L}ean mathematical library},
  booktitle = {Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2020)},
  publisher = {ACM},
  pages     = {367--381},
  year      = {2020},
  doi     = {10.1145/3372885.3373824}
}