@inproceedings{KV06a,
        author      =   "O. Kupferman and M.Y. Vardi",
        title       =   "Memoryful Branching-Time Logics",
        booktitle   =   "Proc. 21st {IEEE} Symp. on Logic in
             Computer Science",
        year        =   "2006"
}