@book{23995,
	author = {Hachtel, Gary D},
	title = {Logic Synthesis and Verification Algorithms},
	publisher = {Springer},
	year = {2006},
	address = {New Delhi},
	edition = {1st}
}