@inproceedings{
    DBLP:conf/icdt/BalcazarC05,
    author = "Balc{\'a}zar, Jos{\'e} L. and Casas-Garriga, Gemma",
    title = "On Horn Axiomatizations for Sequential Data",
    ee = "http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3363{\&}spage=215",
    booktitle = "ICDT",
    responsibleauthor = "Gemma C. Garriga",
    flags = "RAE copy",
    year = "2005",
    impactfactor = "D3",
    pages = "215-229"
}