Computation of the semantics of autoepistemic belief theories
scientific article; zbMATH DE number 1770910