On consistency and completeness of autoepistemic theories

Michael Gelfond, Halina Przymusinska. On consistency and completeness of autoepistemic theories. Fundamenta Informaticae, 16(1):59-92, 1992.

Abstract

Abstract is missing.