S. Molick and M. Furtado.
" Tableau Calculus for Only-knowing and Abduction: A Preliminary Report", in <em>Anais do VI Workshop Brasileiro de Lógica</em>, Maceió/AL, 2025, pp. 9-15, doi: <a href="https://doi.org/10.5753/wbl.2025.7468">https://doi.org/10.5753/wbl.2025.7468</a>.