@inproceedings{RauSabelSchmidtSchauss2012,
  author    = {Conrad Rau and David Sabel and Manfred Schmidt-Schauß},
  title     = {Encoding induction in correctness proofs of program transformations as a termination problem},
  booktitle = {12th International Workshop on Termination (WST 2012) : WST 2012, February 19-23, 2012, Obergurgl, Austria / edited by Georg Moser Termination (WST 2012)},
  pages     = {74 -- 78},
  year      = {2012},
}