Milton R. Grinberg A Knowledge Based Design System for Digital Electronics. 283-285 1980 conf/aaai/1980 AAAI db/conf/aaai/aaai80.html#Grinberg80 http://www.aaai.org/Library/AAAI/1980/aaai80-080.php