L. Saraiva, E. Haeusler, and V. Costa.
" Quantum Algorithm for Multiplicative Linear Logic", in <em>Anais do IV Workshop Brasileiro de Lógica</em>, João Pessoa/PB, 2023, pp. 33-40, doi: <a href="https://doi.org/10.5753/wbl.2023.229335">https://doi.org/10.5753/wbl.2023.229335</a>.