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