Kristensen, L. M. Improved Question-Guided Stubborn Set Methods for State Properties. DPB 2000, 29.