Abstract

We report on an implementation of elementary interpretations for automatic termination proofs.

BibTeX

@inproceedings{HZSWAM-WST14,
  author    = "Harald Zankl and Sarah Winkler and Aart Middeldorp",
  title     = "Automating Elementary Interpretations"
  booktitle = "Proceedings of the 14th International Workshop on
               Termination",
  editor    = "Carsten Fuhs",
  pages     = "75--79",
  year      = 2014
}