Conditional logic in expert systems - Goodman, I. R. (North-Holland, 1991)