Argyris, G, Lafuente, A L, Tribastone, M, Tschaikowski, M & Vandin, A 2022, An Extension of ERODE to Reduce Boolean Networks By Backward Boolean Equivalence . in I Petre & A Păun (eds), Proceedings of 20 th International Conference Computational Methods in Systems Biology . Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13447 LNBI, pp. 294-301, 20 th International Conference on Computational Methods in Systems Biology, Bucharest, Romania, 14/09/2022 . https://doi.org/10.1007/978-3-031-15034-0_16