@article{weko_17198_1, author = "奈良,信介 and 後藤祐一 and 程京徳", title = "並列化による前向き演繹エンジンの高速化", journal = "情報処理学会論文誌数理モデル化と応用(TOM)", year = "2005", volume = "46", number = "SIG10(TOM12)", pages = "19--29", month = "jun" }