@book{37355,
	author = {Brayton, Robert K.},
	title = {Logic minimization algoritms for VLSI synthesis},
	publisher = {Kluwer Academic Publishers},
	year = {1984},
	series = {The Kluwer international series in engineering and computer science},
	address = {Boston}
}