P\(_-\)UNSAT approach of attractor calculation for Boolean gene regulatory networks
scientific article; zbMATH DE number 6890035