Arne Meier, Sebastian Ordyniak, Ramanujan Sridharan, Irena Schindler. Backdoors for Linear Temporal Logic. 11th International Symposium on Parameterized and Exact Computation (IPEC 2016) (Jiong Guo and Danny Hermelin), volume 63 of Leibniz International Proceedings in Informatics (LIPIcs), pages 23:1-23:17, 2016, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik.