Stefan Brass Jürgen Dix Teodor C. Przymusinski Computation of the Semantics of Autoepistemic Belief Theories. 233-250 1999 112 Artif. Intell. 1-2 db/journals/ai/ai112.html#BrassDP99 http://dx.doi.org/10.1016/S0004-3702(99)00043-0