Pyticli: satisfactibilidad de proposiciones en lógica temporal deintervalos por medio de lenguajes deconsulta sobre grafos
Expocision de auditoria final