Remarks on the full parallel innermost strategy


We make some observations on how innermost →i, parallel innermost ⇻i and full parallel innermost ⇸i rewriting relate for first-order term rewrite systems (TRSs).