Plans, Actions and Dialogues Using Linear Logic. - Lucas Dixon; Alan Smaill; Tracy Tsang (J. Log. Lang. Inf., 2009)