Kristensen LM. Improved Question-Guided Stubborn Set Methods for State Properties. DPB [Internet]. 2000 Jan. 1 [cited 2025 Apr. 16];29(543). Available from: https://tidsskrift.dk/daimipb/article/view/7077