Improved Question-Guided Stubborn Set Methods for State Properties.

Lars Michael Kristensen Antti Valmari Improved Question-Guided Stubborn Set Methods for State Properties. 282-302 2000 ICATPN http://dx.doi.org/10.1007/3-540-44988-4_17 db/conf/apn/icatpn2000.html#KristensenV00