S. Vergilio and R. Moura.
"Definição de Operadores de Mutação para o Teste de Programas Prolog", in <em>Anais do II Workshop de Testes e Tolerância a Falhas</em>, Curitiba/PR, 2000, pp. 58-63, doi: <a href="https://doi.org/10.5753/wtf.2000.23475">https://doi.org/10.5753/wtf.2000.23475</a>.