@TechReport{BolligLeucker01,
  author =	 "Benedikt Bollig and Martin Leucker",
  title =	 "Deciding {LTL} over {M}azurkiewicz traces",
  institution =	 "{RWTH} {A}achen",
  year =	 "2001",
  number =	 "AIB-02-2001",
  month =	 feb,
  url =          "http://aib.informatik.rwth-aachen.de/2001/2001-02.ps.gz",
}