G. Trinh, B. Benhamou, S. Pastva, and S. Soliman, “Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming”, AAAI, vol. 38, no. 9, pp. 10714–10722, Mar. 2024.