@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}
}

@book{kauffman1993origins,
  author    = {Kauffman, Stuart A.},
  title     = {The Origins of Order: Self-Organization and Selection in Evolution},
  publisher = {Oxford University Press},
  address   = {New York},
  year      = {1993}
}

@article{steel2000emergence,
  author  = {Steel, Mike},
  title   = {The emergence of a self-catalysing structure in abstract origin-of-life models},
  journal = {Applied Mathematics Letters},
  volume  = {13},
  number  = {3},
  pages   = {91--95},
  year    = {2000},
  doi     = {10.1016/S0893-9659(99)00191-3}
}

@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{mossel2005random,
  author  = {Mossel, Elchanan and Steel, Mike},
  title   = {Random biochemical networks: the probability of self-sustaining autocatalysis},
  journal = {Journal of Theoretical Biology},
  volume  = {233},
  number  = {3},
  pages   = {327--336},
  year    = {2005},
  doi     = {10.1016/j.jtbi.2004.10.011}
}

@article{hordijk2011required,
  author  = {Hordijk, Wim and Kauffman, Stuart A. and Steel, Mike},
  title   = {Required levels of catalysis for emergence of autocatalytic sets in models of chemical reaction systems},
  journal = {International Journal of Molecular Sciences},
  volume  = {12},
  number  = {5},
  pages   = {3085--3101},
  year    = {2011},
  doi     = {10.3390/ijms12053085}
}

@article{steel2013minimal,
  author  = {Steel, Mike and Hordijk, Wim and Smith, Joshua},
  title   = {Minimal autocatalytic networks},
  journal = {Journal of Theoretical Biology},
  volume  = {332},
  pages   = {96--107},
  year    = {2013},
  doi     = {10.1016/j.jtbi.2013.04.032}
}

@article{hordijk2014powerlaw,
  author  = {Hordijk, Wim and Hasenclever, Leonard and Gao, Jie and Mincheva, Dilyana and Hein, Jotun},
  title   = {An investigation into irreducible autocatalytic sets and power law distributed catalysis},
  journal = {Natural Computing},
  volume  = {13},
  number  = {3},
  pages   = {287--296},
  year    = {2014},
  doi     = {10.1007/s11047-014-9429-6}
}

@article{hordijk2016variable,
  author        = {Hordijk, Wim and Steel, Mike},
  title         = {Autocatalytic sets in polymer networks with variable catalysis distributions},
  journal       = {Journal of Mathematical Chemistry},
  volume        = {54},
  number        = {10},
  pages         = {1997--2021},
  year          = {2016},
  doi           = {10.1007/s10910-016-0666-z},
  eprint        = {1605.03919},
  archivePrefix = {arXiv}
}

@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}
}

@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},
  pages     = {625--635},
  publisher = {Springer},
  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)},
  pages     = {367--381},
  publisher = {ACM},
  year      = {2020},
  doi       = {10.1145/3372885.3373824}
}