LIMA, Guilherme; RADEMAKER, Alexandre; UCEDA-SOSA, Rosario.
ULKB Logic: A HOL-Based Framework for Reasoning over Knowledge Graphs.
Anais do Simpósio Brasileiro de Métodos Formais (SBMF), [S.l.], p. 55-71, dez. 2023.
ISSN 0000-0000.
Disponível em: <https://sol.sbc.org.br/index.php/sbmf/article/view/28036>. Acesso em: 17 maio 2024.