Pspace-Completeness of the Temporal Logic of Sub-Intervals and Suffixes.

Laura Bozzelli, Angelo Montanari, Adriano Peron, Pietro Sala

Browse the full TIME paper archive.