Saraiva, L., 		Haeusler, E., & 		Costa, V.
2023 Aug  6.  Quantum Algorithm for Multiplicative Linear Logic. Proceedings of the Brazilian Workshop of Logic (WBL). [Online] :