Rachel Ben-Eliyahu Luigi Palopoli Reasoning with Minimal Models: Efficient Algorithms and Applications. 39-50 1994 KR db/conf/kr/kr94.html#Ben-EliyahuP94