@inproceedings{DBLP:conf/jelia/CabalarDLS23, title = {Past-Present Temporal Programs over Finite Traces}, author = {Cabalar, Pedro and Di{\'{e}}guez, Mart{\'{\i}}n and Laferri{\`{e}}re, Fran{\c{c}}ois and Schaub, Torsten}, booktitle = {{JELIA}}, pages = {787--795}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {14281}, year = {2023} }