Miyuki Koshimura, Megumi Iwaki, Ryuzo Hasegawa: "Minimal Model Generation with Factorization and Constrained Search"情報処理学会論文誌. 第44巻第4号. 1163-1172 (2003)

Miyuki Koshimura、Megumi Iwaki、Ryuzo Hasekawa：“具有因式分解和约束搜索的最小模型生成”，日本信息处理学会汇刊，第 44 卷，第 4 期，1163-1172 (2003)。