Guilherme Lima, Alexandre Rademaker, and Rosario Uceda-Sosa. 2023.
 ULKB Logic: A HOL-Based Framework for Reasoning over Knowledge Graphs. In <em>Proceedings of the 26th Brazilian Symposium on Formal Methods</em>, December 04, 2023, Manaus/AM, Brasil. SBC, Porto Alegre, Brasil, 55-71.