@inproceedings{KV19,
        author      =   "O. Kupferman and G. Vardi",
        title       =   {Perspective Games},
        booktitle =     lics19,
        pages    =  "1 -- 13",
        year =      2019
}