Lima, Guilherme, Alexandre Rademaker, and Rosario Uceda-Sosa.
" ULKB Logic: A HOL-Based Framework for Reasoning over Knowledge Graphs." <em>Anais do XXVI Simpósio Brasileiro de Métodos Formais,
Manaus/AM, 2023</em>. SBC, 2023,  
pp.55-71.