A note on Rabin's width of a complete proof | Publicación