J. Aracena, J. Demongeot, and E. Goles, Positive and Negative Circuits in Discrete Neural Networks, IEEE Transactions on Neural Networks, vol.15, issue.1, pp.77-83, 2004.
DOI : 10.1109/TNN.2003.821555

J. Bang-jensen and G. Gutin, Digraphs: Theory, Algorithms and Applications, 2009.
DOI : 10.1007/978-1-84800-998-1

J. Demongeot, M. Noual, and S. Sené, Combinatorics of Boolean automata circuits dynamics, Discrete Applied Mathematics, vol.160, issue.4-5, pp.398-415, 2012.
DOI : 10.1016/j.dam.2011.11.005
URL : https://hal.archives-ouvertes.fr/hal-00666297

H. Galeana-sánchez and V. Neumann-lara, On kernel-perfect critical digraphs, Discrete Mathematics, vol.59, issue.3, pp.257-265, 1986.
DOI : 10.1016/0012-365X(86)90172-X

D. B. Johnson, Finding All the Elementary Circuits of a Directed Graph, SIAM Journal on Computing, vol.4, issue.1, pp.77-84, 1975.
DOI : 10.1137/0204007

S. Kauffman, Metabolic stability and epigenesis in randomly constructed genetic nets, Journal of Theoretical Biology, vol.22, issue.3, pp.437-467, 1969.
DOI : 10.1016/0022-5193(69)90015-0

M. Kaufman, C. Soulé, and R. Thomas, A new necessary condition on interaction graphs for multistationarity, Journal of Theoretical Biology, vol.248, issue.4, pp.675-685, 2007.
DOI : 10.1016/j.jtbi.2007.06.016

E. Remy, B. Mossé, C. Chaouiya, and D. Thieffry, A description of dynamical graphs associated to elementary regulatory circuits, Bioinformatics, vol.19, issue.Suppl 2, pp.172-178, 2003.
DOI : 10.1093/bioinformatics/btg1075
URL : https://hal.archives-ouvertes.fr/hal-01306959

E. Remy and P. Ruet, From minimal signed circuits to the dynamics of Boolean regulatory networks, Bioinformatics, vol.24, issue.16, pp.220-226, 2008.
DOI : 10.1093/bioinformatics/btn287
URL : https://hal.archives-ouvertes.fr/hal-01306956

E. Remy, P. Ruet, and D. Thieffry, Graphic requirements for multistability and attractive cycles in a Boolean dynamical framework, Advances in Applied Mathematics, vol.41, issue.3, pp.335-350, 2008.
DOI : 10.1016/j.aam.2007.11.003
URL : https://hal.archives-ouvertes.fr/hal-00692086

A. Richard, Negative circuits and sustained oscillations in asynchronous automata networks, Advances in Applied Mathematics, vol.44, issue.4, pp.378-392, 2010.
DOI : 10.1016/j.aam.2009.11.011

A. Richard, Local negative circuits and fixed points in non-expansive Boolean networks, Discrete Applied Mathematics, vol.159, issue.11, pp.1085-1093, 2011.
DOI : 10.1016/j.dam.2011.01.010

A. Richard, Fixed point theorems for Boolean networks expressed in terms of forbidden subnetworks, 17th International Workshop on Cellular Automata and Discrete Complex Systems DMTCS Proceedings, pp.1-16, 2011.
DOI : 10.1016/j.tcs.2015.03.038
URL : https://hal.archives-ouvertes.fr/hal-01298012

A. Richard and P. Ruet, From kernels in directed graphs to fixed points and negative cycles in Boolean networks, Discrete Applied Mathematics, vol.161, issue.7-8, pp.1106-1117, 2013.
DOI : 10.1016/j.dam.2012.10.022
URL : https://hal.archives-ouvertes.fr/hal-01298841

F. Robert, Iterations sur des ensembles finis et automates cellulaires contractants, Linear Algebra and its Applications, vol.29, pp.393-412, 1980.
DOI : 10.1016/0024-3795(80)90251-7

F. Robert, Discrete iterations: a metric study, of Series in Computational Mathematics, 1986.
DOI : 10.1007/978-3-642-61607-5

F. Robert, Les systèmes dynamiques discrets, Mathématiques et Applications, vol.19, 1995.

P. Ruet, Local cycles and dynamical properties of Boolean networks, Mathematical Structures in Computer Science, vol.26, issue.04, 2014.
DOI : 10.1016/j.aam.2007.11.003

M. Shih and J. Dong, A combinatorial analogue of the Jacobian problem in automata networks, Advances in Applied Mathematics, vol.34, issue.1, pp.30-46, 2005.
DOI : 10.1016/j.aam.2004.06.002

M. Shih and J. Ho, Solution of the Boolean Markus???Yamabe Problem, Advances in Applied Mathematics, vol.22, issue.1, pp.60-102, 1999.
DOI : 10.1006/aama.1998.0622

R. Thomas, Boolean formalization of genetic control circuits, Journal of Theoretical Biology, vol.42, issue.3, pp.563-585, 1973.
DOI : 10.1016/0022-5193(73)90247-6

R. Thomas, On the Relation Between the Logical Structure of Systems and Their Ability to Generate Multiple Steady States or Sustained Oscillations, Series in Synergies 9, pp.180-193, 1980.
DOI : 10.1007/978-3-642-81703-8_24

R. Thomas and R. , Biological Feedback, 1990.
URL : https://hal.archives-ouvertes.fr/hal-00087681