Stem outermost$ (all stems)

6 papers:

RTA-2015-HirokawaMM #revisited

Leftmost Outermost Revisited (NH, AM, GM), pp. 209–222.

LOPSTR-2013-DanvyJ #automaton #reduction #semantics

From Outermost Reduction Semantics to Abstract Machine (OD, JJ), pp. 91–108.

RTA-2009-EndrullisH

From Outermost to Context-Sensitive Rewriting (JE, DH), pp. 305–319.

PPDP-2003-Escobar

Refining weakly outermost-needed rewriting and narrowing (SE), pp. 113–123.

WRLA-2002-FissoreGK #termination

Outermost ground termination (OF, IG, HK), pp. 188–207.

TLCA-1997-Raamsdonk

Outermost-Fair Rewriting (FvR), pp. 284–299.