Socrates: a flexible toolkit for building logic-based expert systems. - Robert Corlett; Nick Davies; Robin Khan; Han Reichgelt; Frank van Harmelen (Knowl. Based Syst., 1988)