@InProceedings{Banbara:iclp01,
  author    = {Mutsunori Banbara and Kyoung-Sun Kang and Takaharu Hirai and Naoyuki Tamura},
  title     = {Logic Programming in a Fragment of Intuitionistic Temporal Linear Logic},
  booktitle = {Proceedings of the 17th International Conference on Logic Programming (ICLP'01)},
  editor    = {Philippe Codognet},
  publisher = {Springer-Verlag LNCS 2237},
  year      = {2001},
  month     = {November},
  pages     = {315--330}
}