Lima, G., 		Rademaker, A., & 		Uceda-Sosa, R.
2023 dez  4.  ULKB Logic: A HOL-Based Framework for Reasoning over Knowledge Graphs. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :