An ontological approach for simulating legal action in the Brazilian penal code. - Cleyton Mário de Oliveira Rodrigues; Ryan Ribeiro de Azevedo; Frederico Luiz Gonçalves de Freitas; Eunice Palmeira da Silva; Patrícia Vieira da Silva Barros (SAC, 2015)

Converting ALC Connection Proofs into ALC Sequents. - Eunice Palmeira da Silva; Fred Freitas; Jens Otten (PxTP, 2019)

LEGIS: A Proposal to Handle Legal Normative Exceptions and Leverage Inference Proofs Readability. - Cleyton M. O. Rodrigues; Eunice Palmeira da Silva; Fred Freitas; Italo Jose da Silva Oliveira; Ivan Varzinczak (FLAP, 2019)