Logical foundations for more expressive declarative temporal logic programming languages | Publicación