Using predicate logic to integrate qualitative reasoning and classical decision theory. - John Fox 001; Dominic A. Clark; Andrzej J. Glowinski; Michael J. O'Neil (IEEE Trans. Syst. Man Cybern., 1990)