Vergilio, Silvia, and Rudá Sumé Tente de Moura.
"Definição de Operadores de Mutação para o Teste de Programas Prolog." <em>Anais do II Workshop de Testes e Tolerância a Falhas,
Curitiba/PR, 2000</em>. SBC, 2000,  
pp.58-63.