Liming Chen Kamal Bechkoum Gordon Clapworthy A logical approach to high-level agent control. 1-8 2001 Agents http://portal.acm.org/citation.cfm?id=375735.375741 db/conf/agents/agents2001.html#ChenBC01