Toshiko Wakaki Katsumi Nitta Computing Argumentation Semantics in Answer Set Programming. 254-269 2008 JSAI http://dx.doi.org/10.1007/978-3-642-00609-8_22 conf/jsai/2008 db/conf/jsai/jsai2008.html#WakakiN08