Automated Reasoning in Metabolic Networks with Inhibition. - Robert Demolombe; Luis Fariñas del Cerro; Naji Obeid (AI*IA, 2013)

Translation of first order formulas into ground formulas via a completion theory. - Robert Demolombe; Luis Fariñas del Cerro; Naji Obeid (J. Appl. Log., 2016)

Temporal Logic Modeling of Biological Systems. - Jean-Marc Alliot; Robert Demolombe; Martín Diéguez; Luis Fariñas del Cerro; Gilles Favre; Jean-Charles Faye; Naji Obeid; Olivier Sordet (Towards Paraconsistent Engineering, 2016)