@techreport{LukoschusvH05b,
  author = {Jan Lukoschus and Reinhard von Hanxleden},
  title = {Removing Cycles in {E}sterel Programs},
  type = {Technical Report},
  number = {0502},
  institution = {Christian-Albrechts-Universit{\"a}t zu Kiel, Department of Computer Science},
  year = {2005},
  month = {March},
}