Yongyuth Permpoontanalarp John Yuejun Jiang Generalised Proof-Theory for Multi-Agent Autoepistemic Reasoning. 304-311 1995 conf/icmas/1995 ICMAS db/conf/icmas/icmas1995.html#PermpoontanalarpJ95