Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic.

Mutsunori Banbara, Kyoung-Sun Kang, Takaharu Hirai, Naoyuki Tamura

Browse the full ICLP paper archive.