[Spot] Question sur la simplification de formules LTL

Bonjour, Je suis en doctorat d'informatique à l'université d'Evry et je travaille sur la logique ATL. Je viens de découvrir votre outil Spot et en particulier l'outil de simplification des formules. Je suis entrain de développer des méthodes de tableaux pour ATL, et je souhaiterais également pouvoir simplifier les formules fournies en entrée de l'outil. J'aurais donc voulu savoir s'il existait une référence dans la littérature ou une compilation de l'ensemble (ou en tout cas la majorité) de ces simplifications. J'ai beau chercher depuis un petit moment et je n'ai rien trouvé à l'exception de votre outil Spot. Merci d'avance pour l'aide que vous pourriez m'apporter concernant cette question. Bien cordialement, Amélie DAVID