Decisão estrutural de apoio às escavações de mineração: Efeito do arco aplicando lógica paraconsistente anotada com dois valores em engenharia computacional - Souza, Paulo Roberto Schroeder (2018)