Kristensen, Lars Michael. “Improved Question-Guided Stubborn Set Methods for State Properties”. DAIMI Report Series 29, no. 543 (januar 1, 2000). Set april 27, 2026. https://tidsskrift.dk/daimipb/article/view/7077.