Memoryful Branching-Time Logic.

Orna Kupferman, Moshe Y. Vardi

Browse the full LICS paper archive.