Vergilio, S., & 		Moura, R.
(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>, (pp. 58-63). Porto Alegre: SBC.
doi:10.5753/wtf.2000.23475