@inproceedings{DAC-1981-SaitoUK,
	acmid         = "802342",
	author        = "Takao Saito and Takao Uehara and Nobuaki Kawato",
	booktitle     = "{Proceedings of the 18th Design Automation Conference}",
	pages         = "451--456",
	publisher     = "{ACM/IEEE}",
	title         = "{A CAD system for logic design based on frames and demons}",
	year          = 1981,
}