TY  - RPRT
TI  - Strong Backdoors for Linear Temporal Logic
AU  - Arne Meier
AU  - Sebastian Ordyniak
AU  - M. S. Ramanujan
AU  - Irena Schindler
PY  - 2016
UR  - https://arxiv.org/abs/1602.04934
ID  - 1602.04934
ER  -