Aracena, Julio, Gadouleau, Maximilien, Richard, Adrien, Salinas, Lilian, "Fixing monotone Boolean networks asynchronously", Information and Computation, 2020