Abstract Model Generation for Preprocessing Clause Sets. - Miyuki Koshimura; Mayumi Umeda; Ryuzo Hasegawa (LPAR, 2004)