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,
}











