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