Logic program semantics and circumscription of autoepistemic theories
scientific article; zbMATH DE number 590250