Until-Since Temporal Logic Based on Parallel Time with Common Past. Deciding Algorithms.

Vladimir V. Rybakov

Browse the full LFCS paper archive.