@inproceedings{DAC-1981-AblasserJ,
	acmid         = "802375",
	author        = "I. Ablasser and U. Jäger",
	booktitle     = "{Proceedings of the 18th Design Automation Conference}",
	pages         = "684--689",
	publisher     = "{ACM/IEEE}",
	title         = "{Circuit recognition and verification based on layout information}",
	year          = 1981,
}