Silvia Vergilio and Rudá Moura. 2000.
 Definição de Operadores de Mutação para o Teste de Programas Prolog. In <em>Proceedings of the 2nd Workshop on Testing and Fault Tolerance</em>, July 15, 2000, Curitiba/PR, Brasil. SBC, Porto Alegre, Brasil, 58-63. DOI: <a href="https://doi.org/10.5753/wtf.2000.23475">https://doi.org/10.5753/wtf.2000.23475</a>.