Termination in ACL2 Using Multiset Relations | Publicación