Koutras, Costas D.,Zachos, Stathis, Many-valued autoepistemic reasoning with applications in multi-agent situations, 178-187, 2000, World Scientific,