Paper  doi  bibtex   

@inproceedings{MeierOrdyniakRamanujanSchindler16,
  author ={Arne Meier and Sebastian Ordyniak and Ramanujan Sridharan and Irena Schindler},
  title ={{Backdoors for Linear Temporal Logic}},
  booktitle ={11th International Symposium on Parameterized and Exact
                  Computation (IPEC 2016)},
  pages ={23:1--23:17},
  series ={Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN ={978-3-95977-023-1},
  ISSN ={1868-8969},
  year ={2016},
  volume ={63},
  keywords={xtract},
  editor ={Jiong Guo and Danny Hermelin},
  publisher ={Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address ={Dagstuhl, Germany},
  URL ={http://drops.dagstuhl.de/opus/volltexte/2017/6946},
  URN ={urn:nbn:de:0030-drops-69462},
  doi ={http://dx.doi.org/10.4230/LIPIcs.IPEC.2016.23},
  annote ={Keywords: Linear Temporal Logic, Parameterized Complexity, Backdoor Sets}
}