Stem higman$ (all stems)
3 papers:
ICALP-v2-2011-SchmitzS #bound #multi #recursion- Multiply-Recursive Upper Bounds with Higman’s Lemma (SS, PS), pp. 441–452.
RTA-1999-Touzet #multi #recursion- A Characterisation of Multiply Recursive Functions with Higman’s Lemma (HT), pp. 163–174.
LICS-1990-MurthyR #proving- A Constructive Proof of Higman’s Lemma (CRM, JRR), pp. 257–267.