M
[MW05] Anca Muscholl and Igor Walukiewicz. An NP-complete Fragment of LTL. International Journal of Foundations of Computer Science 16(4):743-753. August 2005. 
@article{ijfcs16(4)-MW,
  author =              {Muscholl, Anca and Walukiewicz, Igor},
  title =               {An {NP}-complete Fragment of~{LTL}},
  journal =             {International Journal of Foundations of Computer
                         Science},
  volume =              {16},
  number =              {4},
  pages =               {743-753},
  year =                {2005},
  month =               aug,
}
List of authors