%0 Journal Article %1 journals/tocl/AlurT04 %A Alur, Rajeev %A Torre, Salvatore La %D 2004 %J ACM Trans. Comput. Log. %K dblp %N 1 %P 1-25 %T Deterministic generators and games for Ltl fragments. %U http://dblp.uni-trier.de/db/journals/tocl/tocl5.html#AlurT04 %V 5

@article{journals/tocl/AlurT04, added-at = {2018-11-06T00:00:00.000+0100}, author = {Alur, Rajeev and Torre, Salvatore La}, biburl = {https://www.bibsonomy.org/bibtex/27df466a554673ddd8f7eb660afef90b6/dblp}, ee = {https://doi.org/10.1145/963927.963928}, interhash = {a9684fb0f209f8aa3cdccdbff22ee732}, intrahash = {7df466a554673ddd8f7eb660afef90b6}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 1, pages = {1-25}, timestamp = {2018-11-07T12:18:29.000+0100}, title = {Deterministic generators and games for Ltl fragments.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl5.html#AlurT04}, volume = 5, year = 2004 }