Reference:
José L. Balcázar and Gemma Casas-Garriga. On horn axiomatizations for sequential data. In ICDT, pages 215–229, 2005.
Suggested BibTeX entry:
@inproceedings{DBLP:conficdtBalcazarC05, author = {Jos{\'e} L. Balc{\'a}zar and Gemma Casas-Garriga}, booktitle = {ICDT}, pages = {215-229}, title = {On Horn Axiomatizations for Sequential Data}, year = {2005}, }