Towards incremental deductive verification for ATL. - Cheng, Zheng; Tisi, Massimo (2016)