@article{a2da575b0f0342189383426703f55bd5,
title = "Minimizing the Number of Successor States in the Stubborn Set Method",
keywords = "and/or-graphs, CFFD-equivalence, CSP-equivalence, LTSs, stubborn sets, and/or-graphs, CFFD-equivalence, CSP-equivalence, LTSs, stubborn sets, and/or-graphs, CFFD-equivalence, CSP-equivalence, LTSs, stubborn sets",
author = "Kimmo Varpaaniemi",
year = "2002",
language = "English",
volume = "51",
pages = "215--234",
journal = "Fundamenta Informaticae",
issn = "1875-8681",
publisher = "IOS Press",
number = "1-2",
}