@book{104314,
	author = {Hachtel, Gary D},
	title = {Logic Synthesis and Verification Algorithms},
	publisher = {Springer},
	year = {1996},
	address = {Verlag London}
}