Utilizando análise de mutantes no teste de programas prolog - Toaldo, Juliano Rogerio (2003)
Orientadora: Silvia Regina Vergilio