##### An Efficient Normalisation Procedure for Linear Temporal Logic: Isabelle/HOL Formalisation

by Salomon Sickert

ACM: Theory of computation~Modal and temporal logics

AMS: Mathematical logic and foundations / General logic / Temporal logic

by Salomon Sickert

by Joshua Schneider and Dmitriy Traytel