Defesa de Dissertação de Mestrado: Compressão de Provas: uma análise sobre técnicas e uma proposta de estrutura para representar provas.