@inproceedings{OPUS4-26975,
  title     = {12th International Workshop on Termination (WST 2012) : WST 2012, February 19-23, 2012, Obergurgl, Austria / ed. by Georg Moser},
  editor    = {Georg Moser},
  year      = {2012},
}