@article{
    DBLP:journals/tcs/BalcazarG07,
    author = "Balc{\'a}zar, Jos{\'e} L. and Garriga, Gemma C.",
    responsibleauthor = "Gemma C. Garriga",
    title = "Horn axiomatizations for sequential data",
    ee = "http://dx.doi.org/10.1016/j.tcs.2006.11.009",
    journal = "Theor. Comput. Sci.",
    number = "3",
    volume = "371",
    flags = "RAE copy",
    year = "2007",
    impactfactor = "A",
    pages = "247-264"
}