VERGILIO, Silvia Regina; MOURA, Rudá Sumé Tente de. Definição de Operadores de Mutação para o Teste de Programas Prolog. In: WORKSHOP DE TESTES E TOLERÂNCIA A FALHAS (WTF), 2. , 2000, Curitiba/PR. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2000 . p. 58-63. ISSN 2595-2684. DOI: https://doi.org/10.5753/wtf.2000.23475.