1. Lecture Notes in Computer Science;A Adje,2014
2. Bauer, M.: Approximations for decision making in the Dempster-Shafer theory of evidence. In: Horvitz, E., Jensen, F.V. (eds.) UAI, pp. 73–80. Morgan Kaufmann (1996)
3. Berleant, D., Cheng, H.: A software tool for automatically verified operations on intervals and probability distributions. Reliable Comput. 4(1), 71–82 (1998)
4. Bouissou, O., Goubault, E., Goubault-Larrecq, J., Putot, S.: A generalization of p-boxes to affine arithmetic. Computing 94(2–4), 189–201 (2012)
5. Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., López-Garcıa, P., Puebla, G.: The ciao prolog system. Reference Manual. The Ciao System Documentation Series-TR CLIP3/97.1, School of Computer Science, Technical University of Madrid (UPM), vol. 95, p. 96 (1997)