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

A Static Analysis for Classical Linear Logic Programming Language. - Kyoung-Sun Kang; Naoyuki Tamura (ICLP, 1999)

A Static Analysis Method for a Classical Linear Logic Programming Language. - Kyoung-Sun Kang; Naoyuki Tamura (Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP, 1999)

Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic. - Mutsunori Banbara; Kyoung-Sun Kang; Takaharu Hirai; Naoyuki Tamura (ICLP, 2001)