Alfredo Gabaldon Formalizing Complex Task Libraries in Golog. 755-756 2006 conf/ecai/2006 ECAI db/conf/ecai/ecai2006.html#Gabaldon06