Past-present temporal programs over finite traces
scientific article; zbMATH DE number 7855160