@book{33815,
	author = {Qin, Zhanhai, and Cheng, Chung-Kuan},
	title = {Symbolic analysis and reduction of VLSI circuits /},
	publisher = {Springer,},
	year = {c2005},
	address = {New York, NY :},
	url = {http://www.loc.gov/catdir/enhancements/fy0663/2005284555-d.html}
}