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