Efficient Regular Linear Temporal Logic Using Dualization and Stratification | Publicación