Stable Models for Temporal Theories | Publicación