Differential Krull dimension in differential polynomial extensions | Publicación