@TechReport{BolligLeucker01,
  author      = "Benedikt Bollig and Martin Leucker",
  title       = "Deciding {LTL} over {M}azurkiewicz traces",
  institution = "RWTH Aachen",
  keywords    = "temporal logic, trace languages",
  year        = "2017",
  number      = "AIB-2017-07",
  month       = aug,
  url         = "http://aib.informatik.rwth-aachen.de/2017/2017-07.ps.gz",
}