Logic engineering for knowledge engineering: design and implementation of the Oxford System of Medicine. - Fox, John; Glowinski, Andrzej J.; Gordon, Colin; Hajnal, Saki; O'Neil, Mike (Artif. Intell. Medicine, 1990)