Downloads

Logfiles for the experiments the paper “Compression of Rewriting Systems for Termination Analysis” Logfiles

XML files Xmlfiles

Treebank treebank