Utilizing iALC to Formalize the Brazilian OAB Exam. - Bernardo Alkmim; Edward Hermann Haeusler; Alexandre Rademaker (XAILA@JURIX, 2018)

A Case Study Integrating Knowledge Graphs and Intuitionistic Logic. - Bernardo Alkmim; Edward Hermann Haeusler; Daniel Schwabe 001 (AICOL, 2020)

Reasoning over Knowledge Graphs in an Intuitionistic Description Logic. - Bernardo Alkmim; Edward Hermann Haeusler; Daniel Schwabe 001 (XAILA@JURIX, 2020)

A Labelled Natural Deduction System for an Intuitionistic Description Logic with Nominals. - Bernardo Alkmim; Edward Hermann Haeusler; Cláudia Nalon (Description Logics, 2022)