. Rougny, . Froidevaux, and P. Calzone, Qualitative dynamics semantics for SBGN process description in BMC Systems Biology, 2016.

. Paulevé and R. Magnin, Static analysis of biological regulatory networks using abstract interpratation in Math, Struct. in Comp. Sci, p.2012

. Paulevé and . Andrieux, Under-Approximating Cut Sets for Reachability in Large Scale Automata Networks, 2013.
DOI : 10.1007/978-3-642-39799-8_4

R. Fitime and P. Guziolowski, Identification of bifurcations in biological regulatory networks using ASP at, 2016.