Saraiva, L., 		Haeusler, E., & 		Costa, V.
(2023).
 Quantum Algorithm for Multiplicative Linear Logic.
In <em>Anais do IV Workshop Brasileiro de Lógica</em>, (pp. 33-40). Porto Alegre: SBC.
doi:10.5753/wbl.2023.229335