Horn axiomatizations for sequential data | Publicación