Representations for Reasoning about Digital Circuits. - Tom M. Mitchell; Louis I. Steinberg; Reid G. Smith; Pat Schooley; Howard Jacobs; Van E. Kelly (IJCAI, 1981)

The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications. - Van E. Kelly; Louis I. Steinberg (AAAI, 1982)

An Intelligent Aid for Circuit Redesign. - Tom M. Mitchell; Louis I. Steinberg; Smadar T. Kedar-Cabelli; Van E. Kelly; Jeffrey S. Shulman; Timothy Weinrich (AAAI, 1983)

The CRITTER system: Automated critiquing of digital circuit designs. - Van E. Kelly (DAC, 1984)

Inferring Formal Software Specifications from Episodic Descriptions. - Van E. Kelly; Uwe Nonnenmann (AAAI, 1987)

KITSS: A Knowledge-Based Translation System for Test Scenarios. - Van E. Kelly; Mark A. Jones (AAAI, 1993)

Managing data-based systems across releases using historical data dictionaries. - Van E. Kelly; Catharine P. Thomas; Huiyu Wang (Bell Labs Tech. J., 2000)