_id,doi,title
1003,10.24963/ijcai.2017/11,An abstraction-refinement methodology for reasoning about network games