5 papers:
RTA-2015-HirokawaMM #revisited- Leftmost Outermost Revisited (NH, AM, GM), pp. 209–222.
LATA-2007-BordihnV #on the- On leftmost derivations in CD grammar systems (HB, GV), pp. 187–198.
LOPSTR-2005-AlbertPG #logic programming #partial evaluation #source code- Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates (EA, GP, JPG), pp. 115–132.
- RTA-1995-Kuper #proving #reduction
- Proving the Genericity Lemma by Leftmost Reduction is Simple (JK), pp. 271–278.
GG-1978-Staples #reduction #λ-calculus- A Graph-Like λ Calculus for Which Leftmost-Overmost Reduction is Optimal (JS), pp. 440–455.
