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