Temporal Logic with Forgettable Past.

Franois Laroussinie, Nicolas Markey, Philippe Schnoebelen

Browse the full LICS paper archive.