@article{weko_16932_1,
   author	 = "田村,直之 and 平井,崇晴 and 吉川,英男 and 姜京順 and 番原,睦則",
   title	 = "直観主義時相線形論理における論理プログラミングについて",
   journal	 = "情報処理学会論文誌プログラミング（PRO）",
   year 	 = "2000",
   volume	 = "41",
   number	 = "SIG04(PRO7)",
   pages	 = "11--23",
   month	 = "jun"
}