Lima, G., 		Rademaker, A., & 		Uceda-Sosa, R.
(2023).
 ULKB Logic: A HOL-Based Framework for Reasoning over Knowledge Graphs.
In <em>Anais do XXVI Simpósio Brasileiro de Métodos Formais</em>, (pp. 55-71). Porto Alegre: SBC.