Horn axiomatizations for sequential data

Reference:

José L. Balcázar and Gemma C. Garriga. Horn axiomatizations for sequential data. Theor. Comput. Sci., 371(3):247–264, 2007.

Suggested BibTeX entry:

@article{DBLP:journalstcsBalcazarG07,
    author = {Jos{\'e} L. Balc{\'a}zar and Gemma C. Garriga},
    journal = {Theor. Comput. Sci.},
    number = {3},
    pages = {247-264},
    title = {Horn axiomatizations for sequential data},
    volume = {371},
    year = {2007},
}