Automated Circuit Diagnosis Using First Order Logic Tools. - Barbara A. Smith; Ralph W. Wilkerson; Gerald E. Peterson (IEA/AIE (Vol. 1), 1988)

A Correction to the Algorithm in Reiter's Theory of Diagnosis. - Russell Greiner; Barbara A. Smith; Ralph W. Wilkerson (Artif. Intell., 1989)

Scheduled supervised laboratories in CS1: a comparative analysis. - Joseph E. Lang; Barbara A. Smith (SIGCSE, 1993)