Checking an Expert Systems Knowledge Base for Consistency and Completeness. - Tin A. Nguyen; Walton A. Perkins; Thomas J. Laffey; Deanne Pecora (IJCAI, 1985)

Reasoning About Fault Diagnosis with LES. - Thomas J. Laffey; Walton A. Perkins; Tin A. Nguyen (IEEE Expert, 1986)

Checking a Knowledge-Based System for Consistency and Completeness. - Tin A. Nguyen; Walton A. Perkins; Thomas J. Laffey; Deanne Pecora (AI Mag., 1987)

PC++: An Object-Oriented Database System for C++ Applications. - Tin A. Nguyen; Mark Wagner; Brent Hoffman (DASFAA, 1991)