Silvia Vergilio and Rudá Moura. 2000. Definição de Operadores de Mutação para o Teste de Programas Prolog. In Anais do II Workshop de Testes e Tolerância a Falhas, julho 15, 2000, Curitiba/PR, Brasil. SBC, Porto Alegre, Brasil, 58-63. DOI: https://doi.org/10.5753/wtf.2000.23475.