Lima, G., 		Rademaker, A., & 		Uceda-Sosa, R.
2023 Dec  4.  ULKB Logic: A HOL-Based Framework for Reasoning over Knowledge Graphs. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :