Inference in credal networks: branch-and-bound methods and the A/R+ algorithm - Rocha, José Carlos Ferreira da; Cozman, Fabio Gagliardi (International Journal of Approximate Reasoning, 2005)