Reasoning About Monotonic Regulation Conditions for Boolean Gene Regulatory Networks: An Algorithmic Approach. - Yuval Gerber; Michelle Aluf-Medina; Oria Ratzon; Leeshay Elimelech; Hillel Kugler (BIBM, 2025)