Ken Satoh. Computing Minimal Models by Positively Minimal Disjuncts. In Kumiyo Nakakoji, Yohei Murakami, Eric McCready, editors, New Frontiers in Artificial Intelligence, JSAI-isAI 2009 Workshops, LENLS, JURISIN, KCSD, LLLL, Tokyo, Japan, November 19-20, 2009, Revised Selected Papers. Volume 6284 of Lecture Notes in Computer Science, pages 358-371, Springer, 2009. [doi]
Abstract is missing.