@article{SV09TOCL,
    author = {Samer, Marko and Veith, Helmut},
    title = {On the Distributivity of {LTL} Specifications},
    journal = {ACM Transactions on Computational Logic (TOCL)},
    publisher = {ACM},
    note = {To appear},
    issn = {1529-3785}
}


@inproceedings{SV04ICALP,
    author = {Samer, Marko and Veith, Helmut},
    title = {A Syntactic Characterization of Distributive {LTL} Queries},
    booktitle = {Proceedings of the 31st International Colloquium on Automata, Languages and Programming (ICALP'04)},
    editor = {Diaz, Josep and Karhum{\"a}ki, Juhani and Lepist{\"o}, Arto and Sannella, Donald},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Computer Science},
    volume = {3142},
    pages = {1099--1110},
    year = {2004},
    isbn = {978-3-540-22849-3}
}