DOI,IST REx ID,Research Group,Title of publication
10.1609/aaai.v38i9.28943,15321,ToHe,Scalable enumeration of trap spaces in boolean networks via answer set programming