1. Argyris, G., Lafuente, A.L., Tribastone, M., Tschaikowski, M., Vandin, A.: Reducing boolean networks with backward boolean equivalence - extended version (2021). https://arxiv.org/abs/2106.15476
2. Bérenguier, D., Chaouiya, C., Monteiro, P.T., Naldi, A., Remy, E., Thieffry, D., Tichit, L.: Dynamical modeling and analysis of large cellular regulatory networks. Chaos. Interdisc. J. Nonlinear Sci. 23(2), 025114 (2013)
3. Biere, A., Biere, A., Heule, M., van Maaren, H., Walsh, T.: Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications. IOS Press, NLD (2009)
4. Bilke, S., Sjunnesson, F.: Stability of the Kauffman model. Phys. Rev. E 65(1), 016129 (2001)
5. Cardelli, L., Perez-Verona, I.C., Tribastone, M., Tschaikowski, M., Vandin, A., Waizmann, T.: Exact maximal reduction of stochastic reaction networks by species lumping. Bioinformatics (2021). https://doi.org/10.1093/bioinformatics/btab081