@article{lgemtextafirstorderlogicframeworkfor,
  title = {LGEM$^\text{+}$: a first-order logic framework for automated improvement of metabolic network models through abduction},
  author = {Alexander H. Gower and Konstantin Korovin and Daniel Brunnsåker and Ievgeniia A. Tiukova and Ross D. King},
  year = {2023},
  eprint = {2306.06065},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2306.06065v1},
}