An Intelligent Training System for Space Shuttle Flight Controllers. - R. Bowen Loftin; Lui Wang; Paul T. Baffes; Grace Hua (IAAI, 1989)

Symbolic Revision of Theories with M-of-N Rules. - Paul T. Baffes; Raymond J. Mooney (IJCAI, 1993)

Extending Theory Refinement to M-of-N Rules. - Paul T. Baffes; Raymond J. Mooney (Informatica (Slovenia), 1993)

A Novel Application of Theory Refinement to Student Modeling. - Paul T. Baffes; Raymond J. Mooney (AAAI/IAAI, Vol. 1, 1996)