L. M. Kristensen, “Improved Question-Guided Stubborn Set Methods for State Properties”, DPB, vol. 29, no. 543, Jan. 2000.