José L. Balcázar, Gemma Casas-Garriga. On Horn Axiomatizations for Sequential Data. In Thomas Eiter, Leonid Libkin, editors, Database Theory - ICDT 2005, 10th International Conference, Edinburgh, UK, January 5-7, 2005, Proceedings. Volume 3363 of Lecture Notes in Computer Science, pages 215-229, Springer, 2005. [doi]
Abstract is missing.