Nitin Yadav Sebastian Sardiña Using Strategic Logics to Reason about Agent Programs. 2013 IJCAI http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6783 http://ijcai.org/Abstract/13/465 conf/ijcai/2013 db/conf/ijcai/ijcai2013.html#YadavS13 3101-3105