=Paper=
{{Paper
|id=Vol-3437/paper7ASPOCP
|storemode=property
|title=Past-present temporal programs over finite traces:
a preliminary report
|pdfUrl=https://ceur-ws.org/Vol-3437/paper7ASPOCP.pdf
|volume=Vol-3437
|authors=Pedro Cabalar,Martín Diéguez,François Laferrière,Torsten Schaub
|dblpUrl=https://dblp.org/rec/conf/iclp/CabalarDLS23
}}
==Past-present temporal programs over finite traces:
a preliminary report==
None