Silvia Vergilio and Rudá Moura. 2000.
 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>, julho 15, 2000, Curitiba/PR, Brasil. SBC, Porto Alegre, Brasil, 58-63. DOI: <a href="https://doi.org/10.5753/wtf.2000.23475">https://doi.org/10.5753/wtf.2000.23475</a>.