Probabilistic satisfiability with imprecise probabilities. - Pierre Hansen; Brigitte Jaumard; Marcus Poggi de Aragão; Fabien Chauny; Sylvain Perron (Int. J. Approx. Reason., 2000)