Document is current
Any future updates will be listed below
-
Authors
Konrad, Alexander
Scholl, Christoph
-
Funding
Funding for this research was provided by:
Albert-Ludwigs-Universität Freiburg im Breisgau
- License Information
-
More Information
Article History
Received: 6 March 2025
Accepted: 3 March 2026
First Online: 19 March 2026
Change Date: 15 April 2026
Change Type: Update
Change Details: The original version of this article was revised: Example 2 in this article prematurely ended after ‘(numbers of terms)’. The following paragraph, starting with ‘Backward rewriting proceeds in reverse topological order’ and ending with ‘and makes the backward rewriting much more robust.’ has been added to Example 2.
Declarations
:
: The authors declare no competing interests.
