Molick, Sanderson, E 		Furtado, Manuella.
" Tableau Calculus for Only-knowing and Abduction: A Preliminary Report" <em>Anais do Workshop Brasileiro de Lógica (WBL)</em> [Online], (20 julho 2025)