Koji Iwanuma, Katsumi Inoue. Minimal Answer Computation and SOL. In Sergio Flesca, Sergio Greco, Nicola Leone, Giovambattista Ianni, editors, Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings. Volume 2424 of Lecture Notes in Computer Science, pages 245-258, Springer, 2002. [doi]
Abstract is missing.