### 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.