Translating Multi-Agent Autoepistemic Logic into Logic Program. - Katsuhiko Toyama; Takahiro Kojima; Yasuyoshi Inagaki (CLIMA, 2002)