[Termtools] Certified relative / equational termination

[Ulrich Schmidt-Goertz]

Dear all,

the current version of CoLoR is able to certify relative and equational
termination proofs, and at least one termination tool (AProVE) uses this
feature. Therefore I think it would be nice to have categories such as
"TRS/SRS Relative Certifying" and "TRS Equational Certifying" in the
next competition, to encourage more tools to support them and to help
certification to grow beyond the area of standard termination, which it
has been restricted to so far.

Best regards from Aachen,
  Ulrich