SAEPTUM: Uma Metodologia de Verificação de Especificações de Sistemas de Reescrita por meio de Tradução a Teorias Lógicas Documento