Minimal Model Generation with Factorization and Constrained Search. - Miyuki Koshimura; Megumi Kita; Ryuzo Hasegawa (PRICAI, 2000)