@misc{indiciae5c24331855bc,
  title = {LGEM\$\textasciicircum{}\textbackslash{}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},
  url = {https://arxiv.org/abs/2306.06065},
  note = {Source identifier: 2306.06065}
}