Leonard Berman
On logic comparison
DAC, 1981.
@inproceedings{DAC-1981-Berman,
acmid = "802403",
author = "Leonard Berman",
booktitle = "{Proceedings of the 18th Design Automation Conference}",
pages = "854--861",
publisher = "{ACM/IEEE}",
title = "{On logic comparison}",
year = 1981,
}