@techreport{SabelZantema2016,
  author    = {David Sabel and Hans Zantema},
  title     = {Termination of cycle rewriting by transformation and matrix interpretation},
  institution = {Informatik},
  pages     = {38},
  year      = {2016},
}