Vergilio, Silvia, and Rudá Sumé Tente de Moura.
" Definição de Operadores de Mutação para o Teste de Programas Prolog." <em>Proceedings of the 2nd Workshop on Testing and Fault Tolerance,
Curitiba/PR, 2000</em>. SBC, 2000,  
pp.58-63.