|
@techreport{LSOB08, author = {Kai Lampka and Markus Siegle and Joern Ossowski and Christel Baier}, title = {Partially-shared Zero-Suppressed Multi-Terminal BDDs: Concept, Algorithms and Applications}, institution = {TIK}, number = {289}, year = {2008} }