First-Order Theory Revision. - Bradley L. Richards; Raymond J. Mooney (ML, 1991)

Automatic Abduction of Qualitative Models. - Bradley L. Richards; Ina Kraan; Benjamin Kuipers (AAAI, 1992)

Learning Relations by Pathfinding. - Bradley L. Richards; Raymond J. Mooney (AAAI, 1992)

Mollusc: A General Proof-Development Shell for Sequent-Based Logics. - Bradley L. Richards; Ina Kraan; Alan Smaill; Geraint A. Wiggins (CADE, 1994)

Qualitative Models as a Basis for Case Indices. - Bradley L. Richards (EWCBR, 1994)

Case-based Modeling with Qualitative Indices. - Bradley L. Richards; Boi Faltings; Peter Duxbury-Smith (IJCAI, 1995)

Automated Refinement of First-Order Horn-Clause Domain Theories. - Bradley L. Richards; Raymond J. Mooney (Mach. Learn., 1995)

Review of Stephen Muggleton, Ed.: Inductive Logic Programming. - Bradley Richards 002 (J. Appl. Non Class. Logics, 1996)