@book{51308,
	author = {Qin, Zhanhai and Cheng, Chung - Kuan},
	title = {Symbolic analysis and reduction of VLSI circuits},
	publisher = {Springer},
	year = {2005},
	address = {New York}
}