2021-04-122021-04-122000Ruiz Reina, J.L., Alonso Jiménez, J.A., Hidalgo Doblado, M.J. y Martín Mateos, F.J. (2000). Multiset Relations: A Tool for Proving Termination. En ACL2 Workshop 2000 Austin, Texas: University of Texas.https://hdl.handle.net/11441/106948application/pdf20engAttribution-NonCommercial-NoDerivatives 4.0 Internacionalhttp://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/openAccess