A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques | Publicación