Lima, Guilherme, 		Rademaker, Alexandre, E 		Uceda-Sosa, Rosario.
" ULKB Logic: A HOL-Based Framework for Reasoning over Knowledge Graphs" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (4 dezembro 2023)