TY  - RPRT
TI  - LGEM$^\text{+}$: a first-order logic framework for automated improvement of metabolic network models through abduction
AU  - Alexander H. Gower
AU  - Konstantin Korovin
AU  - Daniel Brunnsåker
AU  - Ievgeniia A. Tiukova
AU  - Ross D. King
PY  - 2023
UR  - https://arxiv.org/abs/2306.06065
ID  - 2306.06065
ER  -