Trinh, Giang, Belaid Benhamou, Samuel Pastva, and Sylvain Soliman. 2024. “Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming”. Proceedings of the AAAI Conference on Artificial Intelligence 38 (9):10714-22. https://doi.org/10.1609/aaai.v38i9.28943.