Reasoning with Minimal Models: Efficient Algorithms and Applications.

Rachel Ben-Eliyahu, Luigi Palopoli

Browse the full KR paper archive.