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

Prototyping a Genetics Deductive Database . - Catherine Hearne; Zhan Cui; Simon Parsons; Saki Hajnal (ISMB, 1994)

Formal specification and decision support. - Paul J. Krause; Patrick J. Byers; Saki Hajnal (Decis. Support Syst., 1994)