Kristensen, Lars Michael. “Improved Question-Guided Stubborn Set Methods for State Properties”. DAIMI Report Series, bd. 29, nr. 543, januar 2000, doi:10.7146/dpb.v29i543.7077.