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