Mariana Ferreira and Bruno Lopes. 2022.
 Integrating tools to reason about Reo circuits. In <em>Proceedings of the 3rd Brazilian Workshop of Logic</em>, July 31, 2022, Niterói, Brasil. SBC, Porto Alegre, Brasil, 17-24. DOI: <a href="https://doi.org/10.5753/wbl.2022.222914">https://doi.org/10.5753/wbl.2022.222914</a>.