Thaddeus J. Kowalski

• An artificial intelligence approach to VLSI design
• Rule-Based Programming
• Rule-based programming