Revision of Boolean Logical Models of Biological Regulatory Networks using Answer-Set Programming - Aleixo, Frederico Pinto (2022)