Efficient Normalization of Linear Temporal Logic | Publicación