@book{579435,
	author = {Minaton, Shin-Ichi},
	title = {Binary decision diagrams and applications for vlsi cad},
	publisher = {KLUWER},
	year = {1996},
	address = {BOSTON}
}