Answer Set Programming2, attractors, Bioinformatics, Boolean networks, logic programming2, stable models, symmetry breaking.
