Ronald R. Yager, Henrik Legind Larsen: On discovering potential inconsistencies in validating uncertain knowledge bases by reflecting on the input. IEEE Trans. Syst. Man Cybern. 21(4): 790-801 (1991)