Haitao Li, Xiaojun Pang: A polynomial-time criterion for stability of large-scale switched conjunctive Boolean networks. Autom. 159: 111340 (2024)