Nesting Until and Since in Linear Temporal Logic.

Denis Thrien, Thomas Wilke

Browse the full STACS paper archive.