Completeness and Decidability of a Fragment of Duration Calculus with Iteration | Publicación