Efficient Implementation of a Linear Logic Programming Language. - Joshua S. Hodas; K. M. Watkins; Naoyuki Tamura; Kyoung-Sun Kang (IJCSLP, 1998)