Kristensen, L. M. (2000). Improved Question-Guided Stubborn Set Methods for State Properties. DAIMI Report Series, 29(543). https://doi.org/10.7146/dpb.v29i543.7077