Angelo Gilio Veronica Biazzo Giuseppe Sanfilippo Coherence checking and propagation of lower probability bounds. 310-320 2003 7 Soft Comput. 5 http://dx.doi.org/10.1007/s00500-002-0218-2 db/journals/soco/soco7.html#GilioBS03