Reduction for asynchronous Boolean networks: elimination of negatively autoregulated components
Discrete mathematics and theoretical computer science/Discrete mathematics & theoretical computer science