@inproceedings{DBLP:conf/dac/WuWN87,
author = {Ching-Farn Eric Wu and
Anthony S. Wojcik and
Lionel M. Ni},
title = {A Rule-Based Circuit Representation for Automated CMOS Design
and Verification},
booktitle = {DAC},
year = {1987},
pages = {786-792},
ee = {http://doi.acm.org/10.1145/37888.38012},
bibsource = {DBLP, http://dblp.uni-trier.de}
}