Efficient Normalization of Linear Temporal Logic. - Esparza, Javier; Rubio, Rubén; Sickert, Salomon (Journal of the ACM, 2024)