Rachel Ben-Eliyahu-Zohary An incremental algorithm for generating all minimal models. 1-22 2005 169 Artif. Intell. 1 http://dx.doi.org/10.1016/j.artint.2005.06.003 db/journals/ai/ai169.html#Ben-Eliyahu-Zohary05