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