A Formal Proof of Dickson’s Lemma in ACL2 | Publicación