Sanderson Molick and Manuella Furtado. 2025.
 Tableau Calculus for Only-knowing and Abduction: A Preliminary Report. In <em>Anais do VI Workshop Brasileiro de Lógica</em>, julho 20, 2025, Maceió/AL, Brasil. SBC, Porto Alegre, Brasil, 9-15. DOI: <a href="https://doi.org/10.5753/wbl.2025.7468">https://doi.org/10.5753/wbl.2025.7468</a>.