J. Toaldo and S. Vergilio. "Applying Mutation Testing in Prolog Programs", in Anais do VII Workshop de Testes e TolerĂ¢ncia a Falhas, Curitiba/PR, 2006, pp. 1-12, doi: https://doi.org/10.5753/wtf.2006.23347.