@inproceedings{DAC-1971-LinnemannM,
	author        = "Frederick G. Linnemann and Carl E. Minich",
	booktitle     = "{Proceedings of the Eighth Design Automation Workshop}",
	doi           = "10.1145/800158.805090",
	pages         = "324--346",
	publisher     = "{ACM}",
	title         = "{Logic Design System}",
	year          = 1971,
}