A Temporal Logic for Sortals | Publicación