Past-present temporal programs over finite traces

Open in new window