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

Pedro Cabalar, Martn Diguez, Franois Laferrire, Torsten Schaub

Browse the full ICLP paper archive.