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