%0 Journal Article %1 journals/tocl/LuckMS17 %A Lück, Martin %A Meier, Arne %A Schindler, Irena %D 2017 %J ACM Trans. Comput. Log. %K dblp %N 1 %P 1:1-1:32 %T Parametrised Complexity of Satisfiability in Temporal Logic. %U http://dblp.uni-trier.de/db/journals/tocl/tocl18.html#LuckMS17 %V 18

@article{journals/tocl/LuckMS17, added-at = {2018-11-14T00:00:00.000+0100}, author = {Lück, Martin and Meier, Arne and Schindler, Irena}, biburl = {https://www.bibsonomy.org/bibtex/28c502ed71ce39f33806d564faa6393c0/dblp}, ee = {https://www.wikidata.org/entity/Q57998260}, interhash = {da4970f61827670749a3d871acf0d894}, intrahash = {8c502ed71ce39f33806d564faa6393c0}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 1, pages = {1:1-1:32}, timestamp = {2018-11-15T14:11:05.000+0100}, title = {Parametrised Complexity of Satisfiability in Temporal Logic.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl18.html#LuckMS17}, volume = 18, year = 2017 }