James Harland Michael Winikoff Agents via Mixed-Mode Computation in Linear Logic. 167-196 2004 42 Ann. Math. Artif. Intell. 1-3 http://www.springerlink.com/index/10.1023/B:AMAI.0000034526.31830.45 db/journals/amai/amai42.html#HarlandW04