José Carlos Ferreira da Rocha, Fábio Gagliardi Cozman: Inference in Credal Networks with Branch-and-Bound Algorithms. ISIPTA 2003: 480-493