@article{weko_16844_1, author = "番原,睦則 and 姜京順 and 田村,直之", title = "時相線形論理型言語のコンパイラ処理系のための抽象機械について", journal = "情報処理学会論文誌プログラミング(PRO)", year = "2001", volume = "42", number = "SIG11(PRO12)", pages = "52--66", month = "nov" }