Natasha Alechina Brian Logan Mehdi Dastani John-Jules Ch. Meyer Reasoning about agent execution strategies. 1455-1458 2008 AAMAS (3) http://doi.acm.org/10.1145/1402821.1402897 conf/atal/2008-3 db/conf/atal/aamas2008-3.html#AlechinaLDM08