A Syntactic Characterization of Distributive LTL Queries.

Marko Samer, Helmut Veith

Browse the full ICALP paper archive.