Question-guided stubborn set methods for state properties
scientific article; zbMATH DE number 5118398
scientific article