Vergilio, S., & 		Moura, R.
2000 Jul 15.  Definição de Operadores de Mutação para o Teste de Programas Prolog. Proceedings of the Fault Tolerance Workshop (WTF). [Online] :