Logic engineering for knowledge engineering: design and implementation of the Oxford System of Medicine - Fox, J; Glowinski, A; Gordon, C; Hajnal, S; O’Neil, M (Artif Intell Med, 1990)