Saraiva, L., 		Haeusler, E., & 		Costa, V.
(2023).
 Quantum Algorithm for Multiplicative Linear Logic.
In <em>Proceedings of the 4th Brazilian Workshop of Logic</em>, (pp. 33-40). Porto Alegre: SBC.
doi:10.5753/wbl.2023.229335