@article{articlea7fa9a08, title = {Inference in credal networks: branch-and-bound methods and the A/R+ algorithm}, author = {Rocha, José Carlos Ferreira da and Cozman, Fabio Gagliardi}, year = {2005}, doi = {10.1016/j.ijar.2004.10.009}, journal = {International Journal of Approximate Reasoning} }