@book{31638,
	author = {Kowalski, Thaddeus J.},
	title = {An artificial intelligence approach to VLSI design /},
	publisher = {Kluwer Academic Publishers,},
	year = {c1985.},
	series = {The Kluwer international series in engineering and computer science ;},
	address = {Boston :},
	note = {Includes index.}
}