Computing Thermodynamically Consistent Elementary Flux Modes with Answer Set Programming. - Emma Crisci; Maxime Mahout; Sabine Peres (CMSB, 2024)