Learn More
We consider rewrite systems over simply typed Aterms with restricted left-hand sides. This gives rise to a one-step reduction relation whose transitive, reflexive and symmetric closure coincides with(More)