@book{35853,
	author = {Ebendt, Rudiger and Fey, Gorschwin},
	title = {Advanced BDD optimization /},
	publisher = {Springer,},
	year = {2005},
	address = {Dordrecht :}
}