John Fox, Andrzej J. Glowinski, Colin Gordon, Saki Hajnal, Mike O'Neil. Logic engineering for knowledge engineering: design and implementation of the Oxford System of Medicine. Artificial Intelligence in Medicine, 2(6):323-339, 1990. [doi]
Abstract is missing.