L. M. Kristensen, “Improved Question-Guided Stubborn Set Methods for State Properties”, DPB, bd. 29, nr. 543, jan. 2000.