Temporal data representation and reasoning in REAKT | Publicación