@article{weko_16935_1,
   author	 = "姜京順 and 番原,睦則 and 田村,直之",
   title	 = "古典線形論理型プログラミング言語の静的解析の一手法について",
   journal	 = "情報処理学会論文誌プログラミング（PRO）",
   year 	 = "2000",
   volume	 = "41",
   number	 = "SIG04(PRO7)",
   pages	 = "42--55",
   month	 = "jun"
}