Alberto Finzi Thomas Lukasiewicz Game-Theoretic Agent Programming in Golog. 23-27 2004 conf/ecai/2004 ECAI db/conf/ecai/ecai2004.html#FinziL04