Takao Saito, Takao Uehara, Nobuaki Kawato. A CAD system for logic design based on frames and demons. In Robert J. Smith II, editor, Proceedings of the 18th Design Automation Conference, DAC '81, Nashville, Tennessee, USA, June 29 - July 1, 1981. pages 451-456, ACM/IEEE, 1981. [doi]
Abstract is missing.