The given examples have been borrowed from different sources. 


In the directory "examples" several terminating TRS are given.

In the directory "in-examples" several innermost terminating TRS are
given.





