Rachel Ben-Eliyahu Rina Dechter On Computing Minimal Models. 2-8 1993 AAAI db/conf/aaai/aaai93.html#Ben-EliyahuD93