@book{73627,
	author = {Minato,Shin-ichi},
	title = {Binary decision diagrams and applications for VLSI CAD},
	publisher = {Kluwer Academic Publishers},
	year = {1996},
	series = {The Kluwer international series in engineering and computer science/ Allen,Jonathan},
	address = {Boston}
}