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]
@inproceedings{IwanumaI02:0,
title = {Minimal Answer Computation and SOL},
author = {Koji Iwanuma and Katsumi Inoue},
year = {2002},
url = {http://link.springer.de/link/service/series/0558/bibs/2424/24240245.htm},
researchr = {https://researchr.org/publication/IwanumaI02%3A0},
cites = {0},
citedby = {0},
pages = {245-258},
booktitle = {Logics in Artificial Intelligence, European Conference, JELIA 2002, Cosenza, Italy, September, 23-26, Proceedings},
editor = {Sergio Flesca and Sergio Greco and Nicola Leone and Giovambattista Ianni},
volume = {2424},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-44190-5},
}