"Ordinal Recursive Bounds for Higman's Theorem."

E. A. Cichon, Elias Tahhan-Bittar (1998)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics