[Termtools] semantics of higher order rewriting/termination?

[Johannes Waldmann]

Hi Cynthia,

> I can imagine that this will give some debate > if the definition of the input format is not> written down anywhere.
then it should be written down. The canonical place is
http://www.termination-portal.org/wiki/Higher_Order_Rewriting

Can the participants of this category check whether that's enough,
and propose amendments if needed?
And/Or refer to a standard publication.

- Johannes.