@book{196731,
	author = {Ebendt, Rudiger. Fey, Gorschwin. Drechsler, Rolf.},
	title = {Advanced BDD Optimization},
	publisher = {Springer},
	year = {2005},
	address = {New York}
}