Proof Pearl: A Formal Proof of Higman’s Lemma in ACL2 | Publicación