Rabin's width of a complete proof and the width of a semialgebraic set | Publicación