@article{DBLP:journals/tocl/AlurT04,
author = {Rajeev Alur and
Salvatore {La Torre}},
title = {Deterministic generators and games for Ltl fragments},
journal = {ACM Trans. Comput. Log.},
volume = {5},
number = {1},
year = {2004},
pages = {1-25},
ee = {http://doi.acm.org/10.1145/963927.963928},
bibsource = {DBLP, http://dblp.uni-trier.de}
}