|
@article{LSOB10a, author = {Kai Lampka and Markus Siegle and Joern Ossowski and Christel Baier}, title = {Partially-shared zero-suppressed multi-terminal BDDs: concept, algorithms and applications}, journal = {Form Methods System Design}, pages = {198--222}, volume = {36}, month = {Jun}, year = {2010} }