1. IPASIR. https://www.cs.utexas.edu/users/moore/acl2/manuals/current/manual/index-seo.php/IPASIR____IPASIR
2. Model of Boolean network version of T-helper. https://github.com/hklarner/pyboolnet/tree/master/pyboolnet/repository/jaoude_thdiff
3. Model of T-LGL used in Boolean netrwork experiments. https://github.com/TakehideSoh/SAF-Evaluation/blob/main/exp-boolean-network/benchmark/2176_T-LGL_Survival_Network_2008.booleannet.bnet
4. Abdallah, E.B., Folschette, M., Roux, O.F., Magnin, M.: ASP-based method for the enumeration of attractors in non-deterministic synchronous and asynchronous multi-valued networks. Algorithms Mol. Biol. 12(1), 20:1–20:23 (2017)
5. Abou-Jaoudé, W., et al.: Model checking to assess t-helper cell plasticity. Front. Bioeng. Biotechnol. 2, 86 (2015)