2009
Plans, Actions and Dialogues Using Linear Logic.
[DOI]
Lucas Dixon
,
Alan Smaill
,
Tracy Tsang
J. Log. Lang. Inf., 2009