Abstract

TTT2 at the termination competition 2018.

BibTeX

@inproceedings{FMCS-WST18,
  author    = "Florian Meßner and Christian Sternagel",
  title     = "TermComp 2018 Participant: TTT2",
  booktitle = "Proceedings of the 16th International Workshop on Termination",
  pages     = "79",
  year      = 2018
}