Una forma normal temporal independiente del método de deducción | Publicación