Email Record: Algoritmo basado en modelos para la revisión de creencias entre formas normales conjuntivas