Lima, G., 		Rademaker, A., & 		Uceda-Sosa, R.
(2023).
 ULKB Logic: A HOL-Based Framework for Reasoning over Knowledge Graphs.
<em>Anais Do SimpóSio Brasileiro De MéTodos Formais (SBMF), </em>, 55-71.
Recuperado de <a href="https://sol.sbc.org.br/index.php/sbmf/article/view/28036" target="_new">https://sol.sbc.org.br/index.php/sbmf/article/view/28036</a>