On the expressiveness of temporal logic programming
scientific article; zbMATH DE number 767820