Vergilio, S., & 		Moura, R.
2000 jul 15.  Definição de Operadores de Mutação para o Teste de Programas Prolog. Anais do Workshop de Testes e Tolerância a Falhas (WTF). [Online] :