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