Towards an updated reasoning formal theory | Publicación