Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, and Naoyuki Tamura "Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic" In Proceedings of the 17th International Conference on Logic Programming (ICLP'01), pages 315--330, Lecture Notes in Computer Science 2237, Springer 2001.

Languages mentioned

• TLLP {1983}