Felipe Costa and Daniel Ventura. 2025.
 Formal Development for a Node Replication Calculus with Abstract Machine Extraction for a Lazy Strategy. In <em>Anais do VI Workshop Brasileiro de Lógica</em>, julho 20, 2025, Maceió/AL, Brasil. SBC, Porto Alegre, Brasil, 16-23. DOI: <a href="https://doi.org/10.5753/wbl.2025.8267">https://doi.org/10.5753/wbl.2025.8267</a>.