Vergilio, S., & Moura, R. (2000). Definição de Operadores de Mutação para o Teste de Programas Prolog. In Proceedings of the 2nd Workshop on Testing and Fault Tolerance, (pp. 58-63). Porto Alegre: SBC. doi:10.5753/wtf.2000.23475