Thaddeus J. Kowalski, Donald E. Thomas
The VLSI design automation assistant: what’s in a knowledge base
DAC, 1985.
@inproceedings{DAC-1985-KowalskiT, author = "Thaddeus J. Kowalski and Donald E. Thomas", booktitle = "{Proceedings of the 22nd Design Automation Conference}", doi = "10.1145/317825.317867", isbn = "0-8186-0635-5", pages = "252--258", publisher = "{ACM}", title = "{The VLSI design automation assistant: what’s in a knowledge base}", year = 1985, }