Past-present temporal programs over finite traces - Cabalar, Pedro (arXiv.org)