@inproceedings{51a5abfab3d744ab9464517d7b3140a8,
title = "Symbolic Stubborn Set Search",
keywords = "binary-decision diagrams, model checking, stubborn sets, binary-decision diagrams, model checking, stubborn sets, binary-decision diagrams, model checking, stubborn sets",
author = "M. Tiusanen",
year = "1994",
language = "English",
pages = "219--229",
booktitle = "Concurrency, Specification and Programming 1993, Puola. October 14-16,1993",
publisher = "Uniwersytet Warszwski",
address = "Poland",
}