@TechReport{Leucker02,
  author =	 "Martin Leucker",
  title =	 "Logics for {M}azurkiewicz traces",
  institution =	 "RWTH Aachen",
  year =	 "2002",
  number =	 "AIB-10-2002",
  month =	 apr,
  url =          "http://aib.informatik.rwth-aachen.de/2002/2002-10.ps.gz",
}