KangT99'

BibTeX

@inproceedings{DBLP:conf/iclp/KangT99,
  author    = {Kyoung-Sun Kang and
               Naoyuki Tamura},
  title     = {A Static Analysis for Classical Linear Logic Programming
               Language},
  booktitle = {ICLP},
  year      = {1999},
  pages     = {610},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}