Implement rewriting dimension #4
Description
A (possibly non-terminating) rewriting system induces a preorder structure given a starting collection of models.
{{ message }}
A (possibly non-terminating) rewriting system induces a preorder structure given a starting collection of models.