Lars Michael Kristensen K. Schmidt Antti Valmari Question-guided stubborn set methods for state properties. 215-251 2006 29 Formal Methods in System Design 3 http://dx.doi.org/10.1007/s10703-006-0006-1 db/journals/fmsd/fmsd29.html#KristensenSV06