A Simple Rewrite System for the Normalization of Linear Temporal Logic | Publicación