Aragao, P. I., Campos, G. A., Cortés, M. I. e Cruz, F. I. (2017) “MECANISMO BASEADO EM LÓGICA DEÔNTICA PARA O TRATAMENTO RACIONAL DE NORMAS DE OBRIGAÇÃO”, Revista Eletrônica de Iniciação Científica em Computação, 15(1). doi: 10.5753/reic.2017.1031.