Trinh, G.; Benhamou, B.; Pastva, S.; Soliman, S. Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming. AAAI 2024, 38, 10714-10722.