M. M. Martin Magnusson and P. Doherty, “Logical Agents for Language and Action”, AIIDE, vol. 4, no. 1, pp. 72–77, Oct. 2008.