Wappner, D. 2023. Abstracción de contratos inteligentes mediante ejecución simbólica dinámica. Proceedings of JAIIO. 9, 6 (Jul. 2023), 109-119.