藤田博, 河野真史, 長谷川隆三: "定理証明系PCMGTPのFPGA上の実装について"九州大学大学院システム情報科学紀要. 第9巻第1号(掲載予定). (2004)

Hiroshi Fujita、Masashi Kono、Ryuzo Hasekawa：“定理证明系统 PCMGTP 在 FPGA 上的实现”九州大学研究生院系统与信息科学研究生院通报，第 9 卷，第 1 期（待出版）。