Past-present temporal programs over finite traces: a preliminary report

Published: 2023, Last Modified: 19 Oct 2024ICLP Workshops 2023EveryoneRevisionsBibTeXCC BY-SA 4.0
Loading